著者典拠情報

著者標目形：
Dybjer, Peter
属性：
Personal
注記：
Types for proofs and programs, 1995: CIP t.p. (Peter Dybjer) galley (Dept. of Computing Science, Chalmers U. and U. of Göteborg)
SRC:Types for proofs and programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994 : selected papers(Springer-Verlag, c1995)
著者典拠ID：
DA09512588


1.

図書
図書
1. Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
出版情報: New York : Cambridge University Press, 1997
シリーズ名: Publications of the Newton Institute
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館