Two-level Lambda-calculus
Published in Electronic Notes in Theoretical Computer Science • Aug 1, 2009
NobleIDNI3P22W52R03S85
Authors:,
Murdoch J. Gabbay
Dominic P. Mulligan
Abstract
Two-level lambda-calculus is designed to provide a mathematical model of capturing substitution, also called instantiation. Instantiation is a feature of the ‘informal meta-level’; it appears pervasively in specifications of the syntax and semantics of formal languages. The two-level lambda-calculus...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!