Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1933, Utrecht, The Netherlands : proceedings
M. Bezem, J.F. Groote (eds.)
Bok Engelsk 1993 International Conference on Typed Lambda Calculi and Applications
Utgitt | Berlin : Springer-Verlag , c1993
|
---|---|
Omfang | VIII, 432 s.
|
Emner | Lambda calculus - Congresses
Lambda-kalkyle Matematisk logikk matematisk logikk lambdakalkyle lambda calculus |
ISBN | 0387565175. - 3540565175
|