Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic Add to Reading List Document Date: 2010-01-12 06:53:33 Open Document File Size: 98,65 KB Share Result on Facebook

Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical LogicAdd to Reading List