>> Amazon.co.jp
このページのQRコード

Theories of types and proofs

種類:
図書
責任表示:
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)
出版情報:
Tokyo : Mathematical Society of Japan, 1998
著者名:
シリーズ名:
MSJ Memoirs ; v. 2 <BA34550797>
ISBN:
9784931469020 [4931469027]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April …

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon, SpringerLink (Online service)

Springer-Verlag
7 図書 Software security : theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers

ISSS, Okada, M. (Mitsuhiro), 1954-

Springer
2 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 …

Dezani-Ciancaglini, Mariangiola., Plotkin, Gordon., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Proofs and types

Girard, Jean-Yves, Taylor, Paul, Lafont, Yves

Cambridge University Press
3 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April …

International Conference on Typed Lambda Calculi Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. (Gordon), &hellip;

Springer-Verlag
9 図書 AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY : TO TRUTH THROUGH PROOF

ANDREWS, PETER B.

ACADEMIC PRESS
4 電子ブック Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Kaplan, Stephane., Okada, Mitsuhiro., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

International Colloquium on Automata, Languages and Programming, Ausiello, Giorgio, 1941-, Dezani-Ciancaglini, &hellip;

Springer-Verlag
5 図書 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings

International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo)

Springer-Verlag
11 電子ブック Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Rocca, Simonetta Ronchi, SpringerLink (Online service)

Springer-Verlag
6 電子ブック International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings

Dezani-Ciancaglini, Mariangiola, Montanari, Ugo, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings

Ausiello, Giorgio., Dezani-Ciancaglini, Mariangiola., Ronchi Della Rocca, Simonetta., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer