ID:DA09512533
Workshop TYPES '94, International
TYPES
Types for proofs and programs
同姓同名の著者を検索
Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.)
Springer c2008 Lecture notes in computer science 4941
: pbk
所蔵館1館
Thorsten Altenkirch, Conor McBride (eds.)
Springer c2007 Lecture notes in computer science 4502
所蔵館2館
Jean Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Springer c2006 Lecture notes in computer science 3839
所蔵館7館
Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
Springer c2004 Lecture notes in computer science 3085
所蔵館18館
Herman Geuvers, Freek Wiedijk (eds.)
Springer c2003 Lecture notes in computer science 2646
所蔵館24館
Paul Callaghan ... [et al.] (eds.)
Springer c2002 Lecture notes in computer science 2277
所蔵館33館
Thierry Coquand ... [et al.] (eds.)
Springer c2000 Lecture notes in computer science 1956
所蔵館40館
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
Springer c1999 Lecture notes in computer science 1657
所蔵館43館
Eduardo Giménez, Christine Paulin-Mohring (eds.)
Springer c1998 Lecture notes in computer science 1512
Stefano Berardi, Mario Coppo, (eds.)
Springer c1996 Lecture notes in computer science 1158
所蔵館56館
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Springer-Verlag c1995 Lecture notes in computer science 996
: gw
所蔵館61館
Henk Barendregt, Tobias Nipkow, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 806
: gw , : us
所蔵館62館