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 3371 times.
This article's PDF has been downloaded 574 times.