(1995). Typed lambda calculi and applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings. Springer. https://doi.org/10.1007/BFb0014040
Chicago-Zitierstil (17. Ausg.)Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; Proceedings. Berlin [u.a.]: Springer, 1995. https://doi.org/10.1007/BFb0014040.
MLA-Zitierstil (9. Ausg.)Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; Proceedings. Springer, 1995. https://doi.org/10.1007/BFb0014040.