International Conference on Typed Lambda Calculi and Applications Nancy, France, Groote, P., & Hindley, J. R. (1997). Typed lambda calculi and applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings. Springer.
Chicago Style (17th ed.) CitationInternational Conference on Typed Lambda Calculi and Applications Nancy, France, Philippe Groote, and James Roger Hindley. Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : Proceedings. Berlin: Springer, 1997.
MLA (9th ed.) CitationInternational Conference on Typed Lambda Calculi and Applications Nancy, France, et al. Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : Proceedings. Springer, 1997.