TYPES Workshops

Nils Anders Danielsson, Bengt Nordström (Eds.): 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 LIPIcs 19 ISBN 978-3-939897-49-1 [ contents ]

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. Springer 2009 Lecture Notes in Computer Science 5497 ISBN 978-3-642-02443-6 [ contents ]

Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.): Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Springer 2008 Lecture Notes in Computer Science 4941 ISBN 978-3-540-68084-0 [ contents ]

Thorsten Altenkirch, Conor McBride (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Springer 2007 Lecture Notes in Computer Science 4502 ISBN 978-3-540-74463-4 [ contents ]

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. Springer 2006 Lecture Notes in Computer Science 3839 ISBN 3-540-31428-8 [ contents ]

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. Springer 2004 Lecture Notes in Computer Science 3085 ISBN 3-540-22164-6 [ contents ]

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. Springer 2003 Lecture Notes in Computer Science 2646 ISBN 3-540-14031-X [ contents ]

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. Springer 2002 Lecture Notes in Computer Science 2277 ISBN 3-540-43287-6 [ contents ]

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. Springer 2000 Lecture Notes in Computer Science 1956 ISBN 3-540-41517-3 [ contents ]

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. Springer 1999 Lecture Notes in Computer Science 1657 ISBN 3-540-66537-4 [ contents ]

Eduardo Giménez, Christine Paulin-Mohring (Eds.): Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers. Springer 1998 Lecture Notes in Computer Science 1512 ISBN 3-540-65137-3 [ contents ]

Stefano Berardi, Mario Coppo (Eds.): Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers. Springer 1996 Lecture Notes in Computer Science 1158 ISBN 3-540-61780-9 [ contents ]

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. Springer 1995 Lecture Notes in Computer Science 996 ISBN 3-540-60579-7 [ contents ]

Henk Barendregt, Tobias Nipkow (Eds.): Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers. Springer 1994 Lecture Notes in Computer Science 806 ISBN 3-540-58085-9 [ contents ]