Back to Results
First PageMeta Content
Mathematics / Henk Barendregt / Church–Rosser theorem / Haskell Curry / Barendregt / Gordon Plotkin / Henk / Hindley / Type theory / Theoretical computer science / Lambda calculus / Mathematical logic


Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011
Add to Reading List

Document Date: 2011-08-12 13:22:21

Open Document

File Size: 126,83 KB

Share Result on Facebook
UPDATE