Developing (Meta)Theory of lambda-calculus in the Theory of Contexts

Publication
Proceedings of the Workshop on MEchanized Reasoning about Languages with variable bINding

Related