Henk Barendregt, W. D. (2013). Lambda Calculus with Types (1.). Cambridge University Press.
Цитирование в стиле Чикаго (17-е изд.)Henk Barendregt, Wil Dekkers. Lambda Calculus with Types. 1. Cambridge University Press, 2013.
Цитирование MLA (8-е изд.)Henk Barendregt, Wil Dekkers. Lambda Calculus with Types. 1. Cambridge University Press, 2013.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.