Church–Rosser theorem

#	Item
1	Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011 Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2011-08-12 13:22:21 Mathematics Henk Barendregt Church–Rosser theorem Haskell Curry Barendregt Gordon Plotkin Henk Hindley Type theory Theoretical computer science Lambda calculus Mathematical logic