Please use this identifier to cite or link to this item:
Title: Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Authors: Kurz, Alexander A.
Petrisan, Daniela
Severi, Paula
de Vries, Fer-Jan
First Published: 11-Dec-2013
Publisher: International Federation of Computational Logic
Citation: Logical Methods in Computer Science, 2013, 9 (4), 20
Abstract: 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.
DOI Link: 10.2168/LMCS-9(4:20)2013
ISSN: 1860-5974
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © the authors, 2013. This is an Open Access article distributed under the terms of the Creative Commons Attribution No Derivatives Licence ( ) which permits use and distribution in any medium, provided the original work is properly cited and no modifications or adaptations are made.
Appears in Collections:Published Articles, College of Science and Engineering

Files in This Item:
File Description SizeFormat 
1311.1395v2.pdfPublished (publisher PDF)539.28 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.