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
|