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

Miculan Marino
2001-01-01
Cite PDF
Type
Conference paper