Typed lambda calculi and applications: second international conference on typed lambda calculi and applications, tlca '95, edinburgh, united kingdom, april 10 - 12, 1995. proceedings: second international conference on typed lambda calculi and applications, tlca'95, edinburgh, united kingdom, april 10-12, 1995 - proceedings
Auteur :
Dezani-Ciancaglini, Mariangiola
ISBN :
9783540590484
Date de publication :
17 mars 1995
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
640 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems.