Types for proofs and programs: international workshop, types'99, lokeberg, sweden, june 12-16, 1999, selected papers
Auteur :
Coquand, Thierry
ISBN :
9783540415176
Date de publication :
13 déc. 2000
Dimensions :
23,4 x 15,6 x 1,1 cm
Poids :
299 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This work constitutes the post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. Issues on type theory and type systems and their applications to programming and proof theory are addressed.