Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
Keywords
About this book
The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.
Bibliographic Information
Book Title: Types for Proofs and Programs
Book Subtitle: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Editors: Peter Dybjer, Bengt Nordström, Jan Smith
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60579-7
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60579-9Published: 18 October 1995
eBook ISBN: 978-3-540-47770-9Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 210
Topics: Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Artificial Intelligence, Mathematical Logic and Foundations