Call Number (LC) Title Results
QA9.5 .H36 1994 Lambda calculi : a guide for computer scientists / 1
QA9.5 .H56 1986 Introduction to combinators and [lambda]-calculus / 1
QA9.5 .H565 2008 Lambda-calculus and combinators, an introduction / 1
QA9.5 .H565 2008eb Lambda-calculus and combinators, an introduction / 1
QA9.5 .I58 Typed lambda calculi and applications. 1
QA9.5 .I58 1993 Typed lambda calculi and applications International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / 1
QA9.5 .I58 2003 Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / 1
QA9.5 .I58 2005 Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / 1
QA9.5 .I58 2007eb Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / 1
QA9.5 .I58 2009 Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings / 1
QA9.5 .I58 2011 Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / 1
QA9.5 .I58 2013 Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings / 1
QA9.5 .K56 Combinatory reduction systems / 1
QA9.5 .K69 1984 Models of the lambda calculus / 1
QA9.5 .K7513 1993 Lambda-calculus, types and models / 1
QA9.5 .L35 [Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / 1
QA9.5 .L35 1975 [Lambda]-calculus and computer science theory proceedings of the symposium held in Rome, March 25-27, 1975 / 1
QA9.5 .N54 1992 Two-level functional languages / 1
QA9.5 .P76 2005 Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / 1
QA9.5 .R48 1988 Lambda-calculus, combinators, and functional programming / 1