Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
3 results

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.
Published on December 11, 2013

On Sessions and Infinite Data

Paula Severi ; Luca Padovani ; Emilio Tuosto ; Mariangiola Dezani-Ciancaglini.
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and&nbsp;[&hellip;]
Published on June 20, 2017

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;]
Published on February 5, 2019

  • < Previous
  • 1
  • Next >