Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Types for Proofs and Programs: International Workshop, Types 2000, Durham, UK, December 8-12, 2000. Selected Papers

Types for Proofs and Programs: International Workshop, Types 2000, Durham, UK, December 8-12, 2000. Selected Papers

Holger Ingmar Meinhardt
0/5 ( ratings)
Read Download
This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group , which was held 8th - 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow , by Peter Dybjer, Bengt Nordstr]om, and Jan Smith , by Stefano Berardi and Mario Coppo , by Christine Paulin-Mohring and Eduardo Gimenez , by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus , and by Thierry Coquand, Peter Dybjer, Bengt Nordstr]om, and Jan Smith . The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham's Computer Assisted Reasoning Group, especially Robert Kiessling, for helping to organise the workshop. Robert's contribution was key to the success of the meeting
Language
English
Pages
248
Format
Paperback
Publisher
Springer
Release
February 20, 2002
ISBN
3540432876
ISBN 13
9783540432876

Types for Proofs and Programs: International Workshop, Types 2000, Durham, UK, December 8-12, 2000. Selected Papers

Holger Ingmar Meinhardt
0/5 ( ratings)
Read Download
This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group , which was held 8th - 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow , by Peter Dybjer, Bengt Nordstr]om, and Jan Smith , by Stefano Berardi and Mario Coppo , by Christine Paulin-Mohring and Eduardo Gimenez , by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus , and by Thierry Coquand, Peter Dybjer, Bengt Nordstr]om, and Jan Smith . The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham's Computer Assisted Reasoning Group, especially Robert Kiessling, for helping to organise the workshop. Robert's contribution was key to the success of the meeting
Language
English
Pages
248
Format
Paperback
Publisher
Springer
Release
February 20, 2002
ISBN
3540432876
ISBN 13
9783540432876

More books from Holger Ingmar Meinhardt

The Pre-Kernel as a Tractable Solution for Cooperative Games: An Exercise in Algorithmic Game Theory

0/5 ( ratings)

Stacs 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan Les Pins, France, March 14-16, 2002, Proceedings

0/5 ( ratings)

Rate this book!

Write a review?

loader