Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings

Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
Bok · Engelsk · 1995 International Conference on Typed Lambda Calculi and Applications

Utgitt	Berlin : Springer , c1995
Omfang	VIII, 442 s. : ill.
Emner	Lambda calculus - Congresses Bevisteori Lambda-kalkyle Matematisk logikk kalkyle funksjonsprogrammering lambdakalkyle databehanling matematisk logikk
ISBN	038759048X. - 354059048X