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

First Page		Document Content
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		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 Download Document from Source Website File Size: 126,83 KB Share Document on Facebook

	c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym DocID: 1o2Kw - View Document
	Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011 DocID: 17Zrk - View Document
	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report DocID: 15j8h - View Document
	c Cambridge University Press 2011 JFP 21 (4 & 5): 413–465, 2011. 413 doi:S0956796811000189 First published online 16 August 2011 DocID: 13uSn - View Document
	Kestrels, Quirky Birds, and Hopeless Egocentricity Raganwald’s collected adventures in Combinatory Logic and Ruby Meta-Programming Reginald Braithwaite This book is for sale at http://leanpub.com/combinators DocID: MD48 - View Document