ENGLISH

Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

By Bengt Nordstrom , Peter Dybjer , René Ahn (auth.) , Jan Smith (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
3540605797, 9783540605799
DOI
10.1007/3-540-60579-7
LCC
QA76.9.A96 I594 1994
Open Library ID
OL808219M
Language
english
Format
DJVU
Filesize
2 MB (2128783 bytes)
Series
Lecture Notes in Computer Science 996
Edition
1
Pages
210\211
DPI
300
Time added
2013-05-25 09:53:58
CompilersInterpreters; Artificial Intelligence (incl. RobotMathematical Logic and Formal Languages; Logics an

Description

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. 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.

Similar books