[ARVIND@XX.LCS.MIT.EDU: Barendregt]

• To: attend-types@THEORY.LCS.MIT.EDU
• Subject: [ARVIND@XX.LCS.MIT.EDU: Barendregt]
• From: Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
• Date: Mon, 28 Mar 88 09:35:48 est

Date: Mon 28 Mar 88 08:49:47-EST
From: Arvind <ARVIND@XX.LCS.MIT.EDU>
Subject: Barendregt
To: csg@XX.LCS.MIT.EDU

Henk Barendregt will come to my office
around 10am this morning. Anybody who
wants to chat with him informally should
come to room 204.

Arvind
-------

• Prev: [NFT@XX.LCS.MIT.EDU: Banrendregt's visit]
• Next: [main@boulder.Colorado.EDU: Re: beyond omega]
• Index(es):
  • Main
  • Thread