"Proofs & Types" (Girard et al)

• To: types@theory.LCS.MIT.EDU
• Subject: "Proofs & Types" (Girard et al)
• From: Paul Taylor <pt@doc.imperial.ac.uk>
• Date: Sat, 25 Nov 89 11:07:54 EST
• Sender: meyer@theory.LCS.MIT.EDU

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

• Prev: conditionals
• Index(es):
  • Main
  • Thread