1.

図書
図書
1. Concepts of programming languages. 4th ed
Robert W. Sebesta
出版情報: Reading, Mass. : Addison-Wesley, c1999
所蔵情報: loading…
2.

図書
図書
2. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Jouko Väänänen (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1754
所蔵情報: loading…
3.

図書
図書
3. Theories of programming languages
John C. Reynolds
出版情報: Cambridge ; New York : Cambridge University Press, 1998
所蔵情報: loading…
4.

図書
図書
4. Basic simple type theory (: hbk ; : pbk)
J. Roger Hindley
出版情報: Cambridge : Cambridge University Press, 1997
シリーズ名: Cambridge tracts in theoretical computer science ; 42
所蔵情報: loading…
5.

図書
図書
5. CGI programming on the World Wide Web
Shishir Gundavaram
出版情報: Sebastopol, Calif. : O'Reilly & Associates, 1996
シリーズ名: A nutshell handbook
所蔵情報: loading…
6.

図書
図書
6. Foundations for programming languages
John C. Mitchell
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Foundations of computing
所蔵情報: loading…
7.

図書
図書
7. Theoretical aspects of object-oriented programming : types, semantics, and language design
edited by Carl A. Gunter and John C. Mitchell
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
8.

図書
図書
8. Categories, types, and structures : an introduction to category theory for the working computer scientist
Andrea Asperti, Giuseppe Longo
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: Foundations of computing
所蔵情報: loading…
9.

図書
図書
9. Languages for parallel architectures : design, semantics, implementation models
edited by J.W. de Bakker
出版情報: Chichester ; New York : Wiley, c1989
シリーズ名: Wiley series in parallel computing
所蔵情報: loading…
10.

図書
図書
10. Languages and machines : an introduction to the theory of computer science
Thomas A. Sudkamp
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1988
所蔵情報: loading…