Typed lambda calculi and applications: international conference on typed lambda calculi and applications, tlca '93, march 16-18, 1993, utrecht, the netherlands. proceedings: international conference proceedings on typed lambda calculi and applications, tcla'93, march 16-19, 1993, utrecht, the netherlands
Auteur :
Bezem, Marc
ISBN :
9783540565178
Date de publication :
3 mars 1993
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference proceedings contains 29 research papers on typed lambda calculi, which are used as models of computation (where terms are viewed as programs in a typed programming language) and as logical theories (where types are viewed as propositions and terms as proofs).