Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack. Using Typed Lambda Calculus to Implement Formal Systems on a Machine. Journal of Automated Reasoning, 9(3):309-354, 1992.
@article{AvronHMP92,
title = {Using Typed Lambda Calculus to Implement Formal Systems on a Machine},
author = {Arnon Avron and Furio Honsell and Ian A. Mason and Robert Pollack},
year = {1992},
tags = {type system},
researchr = {https://researchr.org/publication/AvronHMP92},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {9},
number = {3},
pages = {309-354},
}