CURIEN, Pierre-Louis (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642022739.
Elsevier - Harvard (with titles)Curien, P.-L. (Hrsg.), 2009. Typed Lambda Calculi and Applications : 9 th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-02273-9
American Psychological Association 7th editionCurien, P.-L. (Hrsg.). (ca. 2009). Typed Lambda Calculi and Applications : 9 th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02273-9
Springer - Basic (author-date)Curien P-L (Hrsg.) (2009) Typed Lambda Calculi and Applications : 9 th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Curien, Pierre-Louis (Hrsg.), Typed Lambda Calculi and Applications : 9 th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings, Theoretical Computer Science and General Issues 2009, .