NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS. - KURZ, ALEXANDER; PETRIŞAN, DANIELA; SEVERI, PAULA; DE VRIES, FER-JAN (Logical Methods in Computer Science (LMCS), 2013)