close
1.

電子ブック
ＥＢ
1. Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierre-Louis Curien
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5608
オンライン: http://dx.doi.org/10.1007/978-3-642-02273-9
所蔵情報: loading…
2.

図書
図書
2. Categorical combinators, sequential algorithms, and functional programming. 2nd ed (: us ; : sz)
Pierre-Louis Curien
出版情報: Boston : Birkhäuser, c1993
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
3.

図書
図書
3. Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (: gw ; : us)
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 242
所蔵情報: loading…