Search

• < Previous
• 1
• Next >

---

Nominal Coalgebraic Data Types with Applications to Lambda Calculus

Alexander Kurz ; Daniela Luan Petrişan ; Paula Severi ; Fer-Jan de Vries.

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

---

A Light Modality for Recursion

Paula Severi.

We investigate the interplay between a modality for controlling the behaviour of recursive functional programs on infinite structures which are completely silent in the syntax. The latter means that programs do not contain "marks" showing the application of the introduction and elimination rules for&nbsp;[&hellip;]

---