Opening book details…
Can I read Types For Proofs And Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (lecture Notes In Computer Science) on EtoBox?
Types For Proofs And Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (lecture Notes In Computer Science) by Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.) is a nonfiction available to read on EtoBox.
What is Types For Proofs And Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (lecture Notes In Computer Science) about?
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the auspices of the ESPRIT Working Group 21900. The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressed.
Who reads Types For Proofs And Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (lecture Notes In Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1999
- Language
- EN
- ISBN
- 9783540481676
- Category
- nonfiction
- Subjects
- Mathematics, Language Learning, Programming
More by Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.)
Similar books
- Types For Proofs And Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers (lecture Notes In Computer Science) — Eduardo Giménez, Christine Paulin-Mohring (1998)
- Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956) — Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (2000)
- Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science, 1158) — Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (1996)
- Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806) — Tobias Nipkow Henk Barendregt (1994)
- Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science (2277)) — Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, (2002)
- Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4502) — Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (2007)
