Search the Library Catalogue

Advanced search

Your search returned 11 results.

Results
	1.		The parametric lambda calculus : a meta-model for computation Simona Ronchi Della Rocca, Luca Paolini by Ronchi Della Rocca, S Paolini, Luca Publication details: Berlin ; New York Springer-Verlag c2004 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.35 ROC.
	2.		No cover image available Derivation and computation : taking the Curry-Howard correspondence seriously Harold Simmons by Simmons, Harold Publication details: Cambridge Cambridge University Press 2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 51 3 SIM.
	3.		Domains and lambda-calculi Roberto M. Amadio, Pierre-Louis Curien by Amadio, Roberto M Curien, P. -L Edition: 1st ed Publication details: Cambridge Cambridge University Press 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 AMA.
	4.		Fitting statistical distributions : the generalized lambda distribution and generalized bootstrap methods Availability: Items available for loan: Anna Centenary Library (1)Call number: 519.24 KAR.
	5.		Lambda-calculus and combinators, an introduction J. Roger Hindley, Jonathan P. Seldin by Hindley, J. Roger Seldin, Jonathan P Publication details: Cambridge Cambridge University Press c2008 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.35 HIN.
	6.		Lambda-calculus, combinators, and functional programming G.E. Revesz by Révész, György E Publication details: Cambridge Cambridge University Press 1988 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 REV.
	7.		Lectures on the curry-Howard isomorphism Morten Heine Sørensen, Paweł Urzyczyn by Sørensen, Morten Heine Urzyczyn, Paweł Edition: 1st ed Publication details: Amsterdam Elsevier c2006 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.326 SOR.
	8.		Categories for types Roy L. Crole by Crole, Roy L Publication details: Cambridge Cambridge University Press 1993 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 CRO.
	9.		Categories for types Roy L. Crole by Crole, Roy L Publication details: Cambridge Cambridge University Press 1993 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 CRO.
	10.		Language in action : categories, lambdas, and dynamic logic Johan van Benthem by Benthem, J. F. A. K. van Edition: 1st MIT Press ed Publication details: Amsterdam ; Cambridge, MA MIT Press, North-Holland 1995 Availability: No items available.
	11.		Language in action : categories, lambdas, and dynamic logic Johan van Benthem by Benthem, J. F. A. K. van Edition: 1st MIT Press ed Publication details: Amsterdam ; Cambridge, MA MIT Press, North-Holland c1995 Availability: Items available for loan: Anna Centenary Library (1)Call number: 410.015113 BEN.

Find us on the map

Powered by Koha