There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
We develop metatheory of the Lambda calculus in Constructive Type Theory, which is made possible by the use of an appropriate notion of substitution, due to A. Stoughton.