Types for proofs and programs: international workshop types '94, bastad, sweden, june 6-10, 1994. selected papers
Auteur :
Dybjer, Peter
ISBN :
9783540605799
Date de publication :
18 oct. 1995
Dimensions :
23,3 x 15,5 x 1,2 cm
Poids :
710 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this collection address various aspects of developing computer-assisted proofs and programs using a logical framework. The text deals with type theory, and programs using logical frameworks based on it, including ALF, Coq and LEGO.