Jump to main content

yr 〜
yr

Search results 29

Combinatory logic : pure, applied and typed : hardback

Combinatory logic : pure, applied and typed : hardback
Paper図書
Katalin BimbóCRC Press, Taylor & Francis Group : Chapman & Hall Bookc2012
Other Libraries in Japan

Lambda-calculus and combinators, an introduction : hbk

Lambda-calculus and combinators, an introduction : hbk
Paper図書
J. Roger Hindley, Jonathan P. SeldinCambridge University Pressc2008
Other Libraries in Japan

Lambda-calculus, combinators, and functional programming : pbk

Lambda-calculus, combinators, and functional programming : pbk
Paper図書
G.E. ReveszCambridge University Press2009
Other Libraries in Japan

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. (Lecture notes in computer science)

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. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A3130>
National Diet Library

Opere lulliane

Opere lulliane
Paper図書
Giordano Bruno ; edizione diretta da Michele Ciliberto ; a cura di Marco Matteoli, Rita Sturlese, Nicoletta TirinnanziAdelphic2012
Other Libraries in Japan

The combinatory programme : us : gw

The combinatory programme : us : gw
Paper図書
Erwin Engeler ; in collaboration with K. Aberer ... [et. al]Birkhäuser1995
Other Libraries in Japan

Algebra of proofs / M. E. Szabo. (Studies in logic and the foundations of mathematics ; v. 88)

Algebra of proofs / M. E. Szabo. (Studies in logic and the foundations of mathematics ; v. 88)
Paper図書
North-Holland Pub. Co.1978.<MA41-130>
National Diet Library
  • Subject HeadingProof theory. Categories (Mathematics) Combinatory logic.

Computability in combinatory spaces : an algebraic generalization of abstract first order computability

Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Paper図書
by Dimiter G. SkordevKluwer Academic Publishersc1992
Other Libraries in Japan

Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin. (London Mathematical Society. Lecture note series, 7)

Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin. (London Mathematical Society. Lecture note series, 7)
Paper図書
University Press1972.<H35-48>
National Diet Library
  • Subject HeadingCombinatory logic.

[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. (Lecture notes in computer science ; 37)

[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. (Lecture notes in computer science ; 37)
Paper図書
Springer-Verlag1975.<MA41-102>
National Diet Library

Coding, cryptography and combinatorics : sz : us

Coding, cryptography and combinatorics : sz : us
Paper図書
Keqin Feng, Harald Niederreiter, Chaoping Xing, editorsBirkhäuserc2004
Other Libraries in Japan

Lambda-calculus, combinators, and functional programming

Lambda-calculus, combinators, and functional programming
Paper図書
G.E. ReveszCambridge University Press1988
Other Libraries in Japan

Introduction to combinators and λ-calculus : hard : pbk

Introduction to combinators and λ-calculus : hard : pbk
Paper図書
J. Roger Hindley, Jonathan P. SeldinCambridge University Press1986
Other Libraries in Japan

Words, Languages & Combinatorics III : proceedings of the International Conference, Kyoto, Japan, 14-18 March 2000

Words, Languages & Combinatorics III : proceedings of the International Conference, Kyoto, Japan, 14-18 March 2000
Paper図書
editors, Masami Ito, Teruo ImaokaWorld Scientificc2003
Other Libraries in Japan

A bibliography of lambda-calculi, combinatory logics and related topics

A bibliography of lambda-calculi, combinatory logics and related topics
Paper図書
A. RezusMathematisch Centrum1982
Other Libraries in Japan

Combinatory reduction systems pbk.

Combinatory reduction systems pbk.
Paper図書
J.W. KlopMathematisch centrum1980
Other Libraries in Japan

Algebra of proofs

Algebra of proofs
Paper図書
M. E. SzaboNorth-Holland Pub. Co.1978
Other Libraries in Japan

Words, languages and combinatorics, II : proceedings of the international conference, Kyoto, Japan, 25-28 August 1992

Words, languages and combinatorics, II : proceedings of the international conference, Kyoto, Japan, 25-28 August 1992
Paper図書
editors, Masami Ito, Helmut JürgensenWorld Scientificc1994
Other Libraries in Japan

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1958-72.<164-C976c>
National Diet Library
  • Subject HeadingCombinatory logic. Logica Matematica.

Recursive programming techniques

Recursive programming techniques
Paper図書
William H. BurgeAddison-Wesleyc1975
Other Libraries in Japan
RSS