ID:DA09512533
Workshop TYPES '94, International
TYPES
Types for proofs and programs
Search authors sharing the same name
Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.)
Springer c2008 Lecture notes in computer science 4941
: pbk
Available at 1 libraries
Thorsten Altenkirch, Conor McBride (eds.)
Springer c2007 Lecture notes in computer science 4502
Available at 2 libraries
Jean Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Springer c2006 Lecture notes in computer science 3839
Available at 7 libraries
Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
Springer c2004 Lecture notes in computer science 3085
Available at 18 libraries
Herman Geuvers, Freek Wiedijk (eds.)
Springer c2003 Lecture notes in computer science 2646
Available at 24 libraries
Paul Callaghan ... [et al.] (eds.)
Springer c2002 Lecture notes in computer science 2277
Available at 33 libraries
Thierry Coquand ... [et al.] (eds.)
Springer c2000 Lecture notes in computer science 1956
Available at 40 libraries
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
Springer c1999 Lecture notes in computer science 1657
Available at 43 libraries
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
Available at 56 libraries
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Springer-Verlag c1995 Lecture notes in computer science 996
: gw
Available at 61 libraries
Henk Barendregt, Tobias Nipkow, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 806
: gw , : us
