APA (7th ed.) Citation

Urzyczyn, P. (2005). Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings. Springer-Verlag GmbH..

Chicago Style (17th ed.) Citation

Urzyczyn, Pawel. Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings. Berlin Heidelberg: Springer-Verlag GmbH., 2005.

MLA (8th ed.) Citation

Urzyczyn, Pawel. Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings. Springer-Verlag GmbH., 2005.