Hasegawa, M. (2013). Typed lambda calculi and applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings. Springer Berlin Heidelberg.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Hasegawa, Masahito. Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Hasegawa, Masahito. Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : Proceedings. Springer Berlin Heidelberg, 2013.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.