McKinna J, Pollack R. Some Lambda Calculus and Type Theory Formalized. BRICS [Internet]. 21. juni 1997 [henvist 17. august 2024];4(51). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19272