Article View: comp.theory
Article #1847Encyclopedia on Lambda Calculus
From: Michiel Wijers
Date: Fri, 28 Jun 1991 08:16
Date: Fri, 28 Jun 1991 08:16
5 lines
594 bytes
594 bytes
Someone lately asked for biographic data on researchers in the field of lambda calculus. I have a partial answer. But who asked for it? Reply to: csaamw@urc.tue.nl .
Technical Details
Message-ID:
<703@rc6.urc.tue.nl>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!hp4nl!tuegate.tue.nl!rc6.urc.tue.nl!rwb.urc.tue.nl!csaamwShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!hp4nl!tuegate.tue.nl!rc6.urc.tue.nl!rwb.urc.tue.nl!csaamw From: csaamw@rwb.urc.tue.nl (Michiel Wijers) Newsgroups: comp.theory Subject: Encyclopedia on Lambda Calculus Keywords: lambda calculus, biography Message-ID: <703@rc6.urc.tue.nl> Date: 28 Jun 91 08:16:34 GMT Sender: news@rc6.urc.tue.nl Reply-To: csaamw@urc.tue.nl Lines: 5