[Prev][Next][Index][Thread]

a web page drawing type assignment figures




[------ 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