本文に飛ぶ

年 〜
年

検索結果 4 件

Theories of types and proofs

Theories of types and proofs
紙図書
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)Mathematical Society of Japan1998
全国の図書館
  • 著者標目高橋, 正子 Okada, M. (Mitsuhiro) Dezani-Ciancaglini, Mariangiola

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings : gw

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings : gw
紙図書
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)Springer-Verlagc1995
全国の図書館
  • 著者標目...d Applications Dezani-Ciancaglini, Mariangiola Plotkin, G. (Gordon)

Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings : gw : us

Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings : gw : us
紙図書
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)Springer-Verlagc1989
全国の図書館
  • 著者標目Ausiello, Giorgio Dezani-Ciancaglini, Mariangiola Ronchi Della Rocca, Simonetta...

International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings : gw : us

International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings : gw : us
紙図書
edited by M. Dezani-Ciancaglini and U. MontanariSpringer-Verlag1982
全国の図書館
  • 著者標目Dezani-Ciancaglini, Mariangiola Montanari, U. (Ugo) Internati...

検索結果は以上です。

RSS