Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1158)
Included in the following conference series:
Conference proceedings info: TYPES 1995.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
Other volumes
-
Types for Proofs and Programs
Keywords
About this book
Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.
Bibliographic Information
Book Title: Types for Proofs and Programs
Book Subtitle: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Editors: Stefano Berardi, Mario Coppo
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-61780-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61780-8Published: 02 October 1996
eBook ISBN: 978-3-540-70722-6Published: 02 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 298
Topics: Mathematical Logic and Formal Languages, Software Engineering/Programming and Operating Systems, Theory of Computation, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Artificial Intelligence