Lambda the Ultimate

inactiveTopic Proof Theory mailing list
started 2/4/2003; 12:43:04 AM - last post 2/4/2003; 12:43:04 AM
Ehud Lamm - Proof Theory mailing list  blueArrow
2/4/2003; 12:43:04 AM (reads: 1391, responses: 0)
Proof Theory mailing list
A new mailing list about type theory.

Should be of interest to those interested in type theory, Curry-Howard etc.


Posted to theory by Ehud Lamm on 2/4/03; 12:43:28 AM