Macro Lambda Calculus
Logic in Computer Science
2015-08-10 v8 Formal Languages and Automata Theory
Abstract
The goal of our Macro Lambda Calculus project (MLC) is to encode lambda terms into interaction nets. Its software implementation will accept input in the notation similar to lambda calculus allowing macro definitions. Output is similar to interaction calculus and is suitable for our Interaction Nets Compiler program (INC). In this paper, we describe the interaction system for call-by-need evaluation and the mechanism of encoding lambda terms into this system which MLC is based on.
Cite
@article{arxiv.1304.2290,
title = {Macro Lambda Calculus},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1304.2290},
year = {2015}
}
Comments
3 pages