[Prev]
[Next]
[Index]
[Thread]
Request!
To
:
types@theory.lcs.mit.edu
Subject
: Request!
From
: Teodor Rus <
rus@herky.cs.uiowa.edu
>
Date
: Mon, 20 Jun 88 15:31:57 CDT
Please send me some of your work on thype theory. Teo Rus
Prev:
comp adequacy and soundness
Next:
First meeting
Index(es):
Main
Thread