Dezani-Ciancaglini, M., & Plotkin, G. (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. Berlin: Springer-Verlag.
Παραπομπή Chicago StyleDezani-Ciancaglini, Mariangiola, and Gordon Plotkin. 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: Springer-Verlag, 1995.
Παραπομπή MLADezani-Ciancaglini, Mariangiola, and Gordon Plotkin. 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: Springer-Verlag, 1995.