[Prev][Index][Thread]

"Proofs & Types" (Girard et al)



Date: Fri, 24 Nov 89 12:31:45 GMT
X-Mailer: Mail User's Shell (6.5.6 8/11/89)
To: types@theory.LCS.MIT.EDU

It looks like CUP want to reprint, so if anyone out there has comments...