Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-40 of 40 results
Combinators, lambda-terms and proof theory.
- Text
- Dordrecht, D. Reidel [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSD 74-248 Offsite Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin.
- Text
- Cambridge [Eng.] University Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSD 73-1486 Offsite Elements of combinatory logic [by] Frederic B. Fitch.
- Text
- New Haven, Yale University Press, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 75-231 Offsite Algebra of proofs / M. E. Szabo.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 78-1502 Offsite [Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 81-361 Offsite Prädikatenlogik ohne gebundene Variablen / Jürgen Bartnick.
- Text
- Frankfurt am Main : P. Lang, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JFK 72-7 v. 60-62 Offsite 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 Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-623 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 Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 92-790 Offsite The combinatory programme / Erwin Engeler ... [et al.].
- Text
- Boston : Birkhäuser, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-754 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 Coding, cryptography, and combinatorics / Keqin Feng, Harald Niederreiter, Chaoping Xing, editors.
- Text
- Basel ; Boston : Birkhäuser, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1307 Offsite Opere lulliane / Giordano Bruno ; edizione diretta da Michele Ciliberto ; a cura di Marco Matteoli, Rita Sturlese, Nicoletta Tirinnanzi.
- Text
- Milano : Adelphi, c2012.
- 2012
- 1 Item
Available Online
http://www.ilibri.casalini.it/toc/12132284.pdfItem details Format Call Number Item Location Text ReCAP 12-49734 Offsite Recursive programming techniques / William H. Burge.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B87 Off-site Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA9.6 .S558 1992 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 Prädikatenlogik ohne gebundene Variablen / Jürgen Bartnick.
- Text
- Frankfurt am Main : P. Lang, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA9 .B285 1980 Off-site Combinatory semantics / Jerzy Pogonowski.
- Text
- Poznań : Wydawn. Nauk. Uniwersytetu im. Adama Mickiewicza w Poznaniu, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text P325 .P62 1993 Off-site The combinatory programme / Erwin Engeler [and others].
- Text
- Boston : Birkhäuser, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .C66 1995 Off-site Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet.
- Text
- Berlin ; New York : Springer-Verlag, [1986], ©1986.
- 1986-1986
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .L33 1985 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 Die Ars generalis ultima des Raymundus Lullus : studien zu einem geheimen Ursprung der Computertheorie / Werner Künzel, Heiko Cornelius.
- Text
- Berlin : Ed. Künzel, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text B765.L8 A75 1991 Off-site Studies in illative combinatory logic.
- Text
- Groningen, V.R.B. Offsetdrukkerij [1968?]
- 1968
- 1 Item
Item details Format Call Number Item Location Text Phil 5066.350 Off-site Recursive programming techniques / William H. Burge.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6.B87 Off-site Elements of combinatory logic [by] Frederic B. Fitch.
- Text
- New Haven, Yale University Press, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA9.5.F57 1974 Off-site Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin.
- Text
- Cambridge [Eng.] University Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA9.H525 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 Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa.
- Text
- 1986
- 2 Items
Item details Format Call Number Item Location Text QA10.3 .A43 v. 2 Off-site Item details Format Call Number Item Location Text QA10.3 .A43 v. 1 Off-site Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet.
- Text
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.7.L33 1985 Off-site Introduction to combinatory logic.
- Text
- Uppsala, Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text B1 .F5563q nr.11 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 Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev.
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA9.6 .S558 1992 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 Prädikatenlogik ohne gebundene Variablen / Jürgen Bartnick.
- Text
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA9.35 B32 Off-site Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
- Text
- Amsterdam, North-Holland Pub. Co., 1958-72.
- 1958-1972
- 2 Items
Item details Format Call Number Item Location Text QA9.5 .C87 v. 2 Off-site Item details Format Call Number Item Location Text QA9.5 .C87 v. 1 Off-site Recursive programming techniques / William H. Burge, IBM Corporation, Thomas J. Watson Research Center.
- Text
- Reading, Massachusetts : Addison-Wesley Pub. Co., [1975]
- 1975-1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6.B87 Off-site Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin.
- Text
- Cambridge [Eng.] University Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA9 .H525 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
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.
