TYPES Workshops
TYPES 2008: Torino, Italy
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (Eds.):
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 5497 Springer 2009, ISBN 978-3-642-02443-6
Contents 
TYPES 2007: Cividale des Friuli, Italy
Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.):
Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4941 Springer 2008, ISBN 978-3-540-68084-0
Contents
TYPES 2006: Nottingham, UK
Thorsten Altenkirch, Conor McBride (Eds.):
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4502 Springer 2007, ISBN 978-3-540-74463-4
Contents
TYPES 2004: Jouy-en-Josas, France
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (Eds.):
Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3839 Springer 2006, ISBN 3-540-31428-8
Contents
TYPES 2003: Torino, Italy
Stefano Berardi, Mario Coppo, Ferruccio Damiani (Eds.):
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers.
Lecture Notes in Computer Science 3085 Springer 2004, ISBN 3-540-22164-6
Contents
TYPES 2002: Berg en Dal, The Netherlands
Herman Geuvers, Freek Wiedijk (Eds.):
Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers.
Lecture Notes in Computer Science 2646 Springer 2003, ISBN 3-540-14031-X
Contents
TYPES 2000: Durham, UK
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack (Eds.):
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers.
Lecture Notes in Computer Science 2277 Springer 2002, ISBN 3-540-43287-6
Contents
TYPES 1999: Lökeberg, Sweden
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith (Eds.):
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers.
Lecture Notes in Computer Science 1956 Springer 2000, ISBN 3-540-41517-3
Contents
TYPES 1998: Kloster Irsee, Germany
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (Eds.):
Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers.
Lecture Notes in Computer Science 1657 Springer 1999, ISBN 3-540-66537-4
Contents
TYPES 1996: Aussois, France
Eduardo Giménez, Christine Paulin-Mohring (Eds.):
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers.
Lecture Notes in Computer Science 1512 Springer 1998, ISBN 3-540-65137-3
Contents
TYPES 1995: Torino, Italy
Stefano Berardi, Mario Coppo (Eds.):
Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers.
Lecture Notes in Computer Science 1158 Springer 1996, ISBN 3-540-61780-9
Contents
TYPES 1994: Båstad, Sweden
Peter Dybjer, Bengt Nordström, Jan M. Smith (Eds.):
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers.
Lecture Notes in Computer Science 996 Springer 1995, ISBN 3-540-60579-7
Contents
TYPES 1993: Nijmegen, The Netherlands
Henk Barendregt, Tobias Nipkow (Eds.):
Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers.
Lecture Notes in Computer Science 806 Springer 1994, ISBN 3-540-58085-9
Contents
Copyright © Mon Mar 15 03:55:31 2010
by Michael Ley (ley@uni-trier.de)
