althomp@next.cs.hamptonu.EDU (Alfred Thompson) (02/21/91)
To all you Schemers: What is the de facto standard for lambda calculus being used by the Scheme/Functional Programming community? What are the most recent works on lambda calculus? Thanks for the help!