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.

    Comment: 52 pages, accepted for publication in LMCS

    https://doi.org/10.2168/LMCS-9(4:20)2013
    Source: arXiv.org:1311.1395
    Volume: Volume 9, Issue 4
    Published on: December 11, 2013
    Imported on: February 26, 2013
    Keywords: Computer Science - Logic in Computer Science
    Licence: arXiv.org - Non-exclusive license to distribute

    10 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 3108 times.
    This article's PDF has been downloaded 508 times.