This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.
| ISBN: | 9783540432876 |
| Publication date: | 20th February 2002 |
| Author: | TYPES 2000 Conference, Paul Callaghan |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 242 pages |
| Series: | Lecture Notes in Computer Science. |
| Genres: |
Mathematical theory of computation Mathematical logic Compilers and interpreters Systems analysis and design Artificial intelligence Mathematical foundations |
This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.
Types for Proofs and Programs features in the following genres: Mathematical theory of computation, Mathematical logic, Compilers and interpreters, Systems analysis and design, Artificial intelligence, Mathematical foundations
Types for Proofs and Programs is available in Paperback
Types for Proofs and Programs was written by TYPES 2000 Conference, Paul Callaghan and published by Springer an imprint of Springer Berlin Heidelberg
Types for Proofs and Programs has 242 pages
Yes it is part of Lecture Notes in Computer Science. series