Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 50 results
Combinatory reduction systems / J.W. Klop.
- Text
- Amsterdam : Mathematisch centrum, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSE 83-7 Offsite Lambda-calculus, combinators, and functional programming / G.E. Revesz.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSF 88-601 Offsite Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-762 Offsite Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-965 Offsite Models of the lambda calculus / C.P.J. Koymans.
- Text
- Amsterdam, Netherlands : Centrum voor Wiskunde en Informatica, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1118 Offsite Sémantique du temps et lambda-calcul / Francis Renaud.
- Text
- Paris : Presses universitaires de France, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JFE 97-3567 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-566 Offsite Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-Yves Girard (ed.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-933 Offsite Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2044.htmItem details Format Call Number Item Location Text JSE 01-396 Offsite Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1475 Offsite Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
- Text
- Amsterdam ; Boston [MA] : Elsevier, 2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text JSE 06-1564 Offsite An introduction to functional programming through Lambda calculus / Greg Michaelson.
- Text
- Berkshire, U.K. ; Reading, Mass : Addison-Wesley, [1989], ©1989.
- 1989-1989
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M4854 1989 Off-site Two-level functional languages / Flemming Nielson & Hanne Riis Nielson.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .N54 1992 Off-site Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem. J.F. Groote, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1993 Off-site Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1995 Off-site Sémantique du temps et lambda-calcul / Francis Renaud.
- Text
- Paris : Presses universitaires de France, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text P294.5 .R46 1996 Off-site Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).
- Text
- Berlin ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1997 Off-site Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-Yves Girard (ed.)
- Text
- New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1999 Off-site Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.).
- Text
- New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 2001 Off-site Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).
- Text
- 2003
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA9.5 .I58 2003 Off-site Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / Pawel Urzyczyn.
- Text
- Berlin : Springer, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 2005g Off-site Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.
- Text
- New York : Springer Science+Business Media, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA9.54 .P64 2005 Off-site Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp [and others] (eds.).
- Text
- Berlin : Springer-Verlag, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .P76 2005g Off-site Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / Simona Ronchi della Rocca (ed.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 2007g Off-site Lambda-calculus, combinators, and functional programming / G.E. Revesz.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .R48 1988 Off-site Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).
- Text
- Berlin ; New York : Springer-Verlag, [2009], ©2009.
- 2009-2009
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 2009g Off-site Lambda calculi : a guide for computer scientists / Chris Hankin.
- Text
- Oxford [England] : Clarendon Press ; New York : Oxford University Press, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .H36 1994 Off-site Language in action : categories, lambdas, and dynamic logic / Johan van Benthem.
- Text
- Amsterdam : North-Holland ; Cambridge, Mass. : MIT Press, 1995.
- 1995-1991
- 1 Item
Item details Format Call Number Item Location Text P39 .B46 1995 Off-site Dynamic reasoning without variables / Jan van Eijck.
- Text
- Amsterdam : Institute for Logic, Language and Computation (ILLC), University of Amsterdam, [1997]
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.N38 E35 1997 Off-site Categories for types / Roy L. Crole.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA169 .C685 1993 Off-site Pattern calculus : computing with functions and structures / Barry Jay.
- Text
- Berlin ; New York : Springer, c2009.
- 2009
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D35 J39 2009 Off-site The Lambda-structure of texts / by Ioan-Iovitz Popescu, Radek Čech, Gabriel Altmann.
- Text
- Lüdenscheid : RAM-Verlag, 2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Text P138.6 .P67 2011 Off-site The lambda calculus : its syntax and semantics / Henk P. Barendregt.
- Text
- London : College Publications, c2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .B367 2012 Off-site Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1997 Off-site Analyse phonographématique de l'arabe en vue d'applications informatiques / par Hassane Chelyah.
- Text
- 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text PJ6074.C546 1994q Off-site An introduction to combinators and [lambda]-calculus / J.R. Hindley, J.P. Seldin.
- Text
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .H56 1986 Off-site Logic for grammar : developments in linear logic and formal linguistics / Claudia Casadio.
- Text
- Roma : Bulzoni, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text P39 .C33 2002 Off-site Language & grammar : studies in mathematical linguistics and natural language / edited by C. Casadio, P.J. Scott, R.A.G. Seely.
- Text
- Stanford, Calif. : Center for the Study of Language and Information, c2005.
- 2005
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text P39 .L36 2005 Off-site Lambda-calculus, combinators, and functional programming / G.E. Revesz.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .R48 1988 Off-site Language in action : categories, lambdas and dynamic logic / Johan van Benthem.
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text P39 .B46 1991 Off-site Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1993 Off-site Two-level functional languages / Flemming Nielson & Hanne Riis Nielson.
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .N544 1992 Off-site An introduction to functional programming through Lambda calculus / Greg Michaelson.
- Text
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M4854 1989 Off-site Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1995 Off-site Lambda calculi : a guide for computer scientists / Chris Hankin.
- Text
- Oxford [England] : Clarendon Press ; New York : Oxford University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .H36 1994 Off-site Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .H56 1986 Off-site Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller, editors.
- Text
- Berlin : Springer-Verlag, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .G72 Off-site 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 / M. Bezem, J.F. Groote (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1993 Off-site Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .I58 1995 Off-site Lambda calculi : a guide for the perplexed / Chris Hankin.
- Text
- Oxford [England] : Clarendon Press ; New York : Oxford University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .H36 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
