a web page drawing type assignment figures

• To: types@dcs.gla.ac.uk
• Subject: a web page drawing type assignment figures
• From: Sachio Hirokawa <hirokawa@i.kyushu-u.ac.jp>
• Date: Fri, 28 Jun 1996 19:25:50 +0900
• Approved: types@dcs.gla.ac.uk

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

I'd like to announce my web page. 

	http://whale.i.kyushu-u.ac.jp/~hirokawa/prover.html

You can

(1) see a type assignment figure for the lambda-term that
    you enter, and
(2) can see a natural deduction proof for the implicational
    formula (i.e., simple type) that you enter.

We are just begining the project. So, I'd appreciate any information,
system or project similar to this.

---
Sachio Hirokawa

Department of Informatics | tel:    +81-92-583-7640
Kyushu University         | fax:    +81-92-583-7635
Kasuga-Kohen 6-1, Kasuga  | e-mail: hirokawa@i.kyushu-u.ac.jp
Fukuoka 816 JAPAN         | url:    http://whale.i.kyushu-u.ac.jp/~hirokawa


 

• Prev: Reminder: Workshop on Foundations of OO languages
• Next: Volunteer Typesetters Wanted
• Index(es):
  • Main
  • Thread