some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 9, ISSUE 4, PAPER 20


Nominal Coalgebraic Data Types with Applications to Lambda Calculus

©Alexander Kurz, University of Leicester
©Daniela Luan Petrisan, University of Leicester
©Paula Severi, University of Leicester
©Fer-Jan de Vries, University of Leicester

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.

Publication date: December 11, 2013

Full Text: PDF | PostScript
DOI: 10.2168/LMCS-9(4:20)2013

Hit Counts: 3161

Creative Commons