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

Proofs and types

種類:
図書
責任表示:
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
出版情報:
Cambridge : Cambridge University Press, 1989
著者名:
シリーズ名:
Cambridge tracts in theoretical computer science ; 7 <BA01121831>
ISBN:
9780521371810 [0521371813]  CiNii Books  Calil
注記:
Bibliography: p. 162-165
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proof theory and logical complexity

Girard, Jean-Yves

Bibliopolis
7 図書 Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

International Workshop TYPES, Altenkirch, Thorsten, Naraschewski, Wolfgang, Reus, Bernhard

Springer
2 図書 Advances in linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent, Linear Logic Workshop

Cambridge University Press
8 図書 Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

International Workshop TYPES, Giménez, Eduardo, Paulin-Mohring, Christine, 1962-

Springer
3 図書 Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings

International Conference on Typed Lambda Calculi and Applications, Girard, Jean-Yves

Springer-Verlag
9 図書 Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

International Workshop on TYPES, Berardi, Stefano, Coppo, Mario

Springer
4 図書 Theories of types and proofs

Takahashi, Masako, Okada, Mitsuhiro, Dezani-Ciancaglini, Mariangiola

Mathematical Society of Japan
10 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-

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

ANDREWS, PETER B.

ACADEMIC PRESS
11 図書 Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

International Workshop TYPES, Coquand, Thierry, 1961-

Springer
6 図書 Mathematics and politics : strategy, voting, power and proof

Taylor, Alan D., 1947-

Springer-Verlag
12 図書 Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers

International Workshop on TYPES, Dybjer, Peter, Nordström, Bengt, Smith, Jan M

Springer-Verlag