TY  - RPRT
TI  - Nominal Coalgebraic Data Types with Applications to Lambda Calculus
AU  - Alexander Kurz
AU  - Daniela Luan Petrişan
AU  - Paula Severi
AU  - Fer-Jan de Vries
PY  - 2013
DO  - 10.2168/lmcs-9(4:20)2013
UR  - https://arxiv.org/abs/1311.1395
ID  - 1311.1395
ER  -