Nominal Coalgebraic Data Types with Applications to Lambda Calculus
journal contribution
posted on 2015-07-09, 12:03 authored by Alexander A. Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de VriesWe 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.
History
Citation
Logical Methods in Computer Science, 2013, 9 (4), 20Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer ScienceVersion
- VoR (Version of Record)
Published in
Logical Methods in Computer SciencePublisher
International Federation of Computational Logicissn
1860-5974Copyright date
2013Available date
2015-07-09Publisher DOI
Publisher version
http://www.lmcs-online.org/ojs/viewarticle.php?id=1344Language
enAdministrator link
Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC