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

lmcs:865 - Logical Methods in Computer Science, December 11, 2013, Volume 9, Issue 4
Nominal Coalgebraic Data Types with Applications to Lambda Calculus

Authors: Kurz, Alexander and Petrişan, Daniela Luan and Severi, Paula and de Vries, Fer-Jan

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.


Source : oai:arXiv.org:1311.1395
DOI : 10.2168/LMCS-9(4:20)2013
Volume: Volume 9, Issue 4
Published on: December 11, 2013
Submitted on: February 26, 2013
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 106 times.
This article's PDF has been downloaded 39 times.