Your search returned 3 results.

Not what you expected? Check for suggestions

Results
			Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron Fabio Alessi [and others]. by Barendregt, Henk Dekkers, Wil Statman, Richard Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn. by Sørensen, Morten Heine Urzyczyn, Paweł Series: Studies in logic and the foundations of mathematics ; v. 149. Edition: 1st ed. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Boston [MA] : Elsevier, 2006 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin. by Hindley, J. Roger Seldin, J. P Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge, UK ; New York : Cambridge University Press, 2008 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)

Refine your search