Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and - detaljert visning

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


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