dblp.uni-trier.de www.uni-trier.de

TYPES Workshops

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

Copyright © Sat May 16 23:44:07 2009 by Michael Ley (ley@uni-trier.de)