Typed lambda calculi and applications
second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
TLCA'95
International Conference on Typed Lambda Calculi and Applications 1995 : Edinburgh, UK)
creator
Dezani-Ciancaglini, Mariangiola
ed.
Plotkin, Gordon
1946-
ed.
text
conference publication
gw
Berlin
Springer
1995
monographic
eng
442 p.
Mariangiola Dezani-Ciancaglini and Gordon Plotkin, eds.
Lambda calculus
congresses
QA9.5 I58 1995
Lecture notes in computer science ; no. 902
354059048x
040920
20260819085403.0