APA (7th ed.) Citation

(1993). Typed lambda calculi and applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16-18, 1993, Utrecht, The Netherlands ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16-18, 1993, Utrecht, The Netherlands ; Proceedings. Berlin [u.a.]: Springer, 1993.

MLA (9th ed.) Citation

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16-18, 1993, Utrecht, The Netherlands ; Proceedings. Springer, 1993.