yr 〜
yr

Search results 8

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
  • Subject HeadingFunctional programming languages -- Congresses. Combinatory logic -- Congresses.

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

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

[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
  • Subject HeadingCombinatory logic -- Congresses. Programming languages (Electr...

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

Words, languages and combinatorics : Kyoto, Japan, 28-31 August 1990

Words, languages and combinatorics : Kyoto, Japan, 28-31 August 1990
Paper図書
editor, Masami ItoWorld Scientificc1992
Other Libraries in Japan

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings : gw : us

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings : gw : us
Paper図書
edited by Guy Cousineau, Pierre-Louis Curien and Bernard RobinetSpringer-Verlagc1986
Other Libraries in Japan

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 : gw : us

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 : gw : us
Paper図書
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. BöhmSpringer-Verlag1975
Other Libraries in Japan

Reached to the end of result.