Hasegawa, M. (2013). Typed lambda calculi and applications: 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings. Springer.
Chicago Style (17th ed.) CitationHasegawa, Masahito. Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : Proceedings. Berlin: Springer, 2013.
MLA (9th ed.) CitationHasegawa, Masahito. Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : Proceedings. Springer, 2013.