1 option
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [and others].
LIBRA QA76.9.A96 T96 2000
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- TYPES 2000 (2000 : Durham, England)
- Series:
- Lecture notes in computer science ; 2277.
- Lecture notes in computer science ; 2277
- Language:
- English
- Subjects (All):
- Automatic theorem proving--Congresses.
- Automatic theorem proving.
- Computer programming--Congresses.
- Computer programming.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 242 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, 2002.
- Summary:
- This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540432876
- OCLC:
- 49197579
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.