著者典拠情報

著者標目形：
International Workshop on TYPES
属性：
Meeting
場所：
Nijmegen, The Netherlands;Båstad, Sweden;Torino, Italy;Aussois, France;Kloster Irsee, Germany;Lökeberg, Sweden;Torino;
日付：
1993;1994;1995;1996;1998;1999;2003;
から見よ参照形：
Workshop TYPES '94, International
TYPES
Types for proofs and programs
注記：
SRC:Types for proofs and programs, c1995: t.p. (International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994)
EDSRC:Types for proofs and programs, c1994: t.p. (International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993)
著者典拠ID：
DA09512533


1.

図書
図書
1. Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Thierry Coquand ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1956
所蔵情報: 図書館
2.

図書
図書
2. Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: 図書館
3.

図書
図書
3. Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Stefano Berardi, Mario Coppo, (eds.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1158
所蔵情報: 図書館
4.

図書
図書
4. Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers (: gw)
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 996
所蔵情報: 図書館
5.

図書
図書
5. Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)
Henk Barendregt, Tobias Nipkow, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 806
所蔵情報: 図書館