Alexander Kurz ; Daniela Luan Petrişan ; Paula Severi ; Fer-Jan de Vries - Nominal Coalgebraic Data Types with Applications to Lambda Calculus

lmcs:865 - Logical Methods in Computer Science, December 11, 2013, Volume 9, Issue 4 - https://doi.org/10.2168/LMCS-9(4:20)2013
Nominal Coalgebraic Data Types with Applications to Lambda CalculusArticle

Authors: Alexander Kurz ORCID; 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.


    Volume: Volume 9, Issue 4
    Published on: December 11, 2013
    Imported on: February 26, 2013
    Keywords: Computer Science - Logic in Computer Science

    8 Documents citing this article

    Consultation statistics

    This page has been seen 1138 times.
    This article's PDF has been downloaded 344 times.