Search

• < Previous
• 1
• Next >

---

On Nominal Syntax and Permutation Fixed Points

Mauricio Ayala-Rincón ; Maribel Fernández ; Daniele Nantes-Sobrinho.

We propose a new axiomatisation of the alpha-equivalence relation for nominal terms, based on a primitive notion of fixed-point constraint. We show that the standard freshness relation between atoms and terms can be derived from the more primitive notion of permutation fixed-point, and use this&nbsp;[&hellip;]

---

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Joseph W. N. Paulus ; Daniele Nantes-Sobrinho ; Jorge A. Pérez.

We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail, a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side, we&nbsp;[&hellip;]

---