McKinna, James, and Robert Pollack. “Some Lambda Calculus and Type Theory Formalized”. BRICS Report Series 4, no. 51 (June 21, 1997). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/19272.