[meyer: TYPE:TYPE]

• To: mcvax!doc.ic.ac.uk!sa@uunet.UU.NET
• Subject: [meyer: TYPE:TYPE]
• From: Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
• Date: Sat, 14 Nov 87 21:27:47 est
• Cc: types@THEORY.LCS.MIT.EDU
• In-Reply-To: mcvax!doc.ic.ac.uk!sa@uunet.UU.NET's message of Mon, 9 Nov 87 15:10:26 GMT

Please send me your draft paper with Ong on ``lazy lambda calculus''.

I am unable to guess what ``a bisimulation-like preorder on terms'' might be.
Can you give me more of a hint?

Regards, A. 

• Prev: [mcvax!doc.ic.ac.uk!sa@uunet.UU.NET: Re: [meyer: TYPE:TYPE]]
• Next: [gunter@linc.cis.upenn.edu: Re: [mcvax!doc.ic.ac.uk!sa@uunet.UU.NET: Re: [meyer: TYPE:TYPE]]]
• Index(es):
  • Main
  • Thread