Highly Influential

We study an output-based translation of the λ-calculus with explicit substitution into the synchronous π-calculus – enriched with pairing – that has its origin in mathematical logic, and show that this translation respects reduction. We will define the notion of (explicit) head reduction -which encompasses (explicit) lazy reductionand show that the… (More)

Sorry, we couldn't extract any figures or tables for this paper.

Showing 1-10 of 37 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential