Search Results - "SEVERI, PAULA"

Observational Equivalence for Multiparty Sessions.

Authors: Severi, Paula Dezani-Ciancaglini, Mariangiola Altenkirch, Thorsten et al.

Source: Fundamenta Informaticae; 2019, Vol. 170 Issue 1-3, p267-305, 39p

A LIGHT MODALITY FOR RECURSION.

Authors: SEVERI, PAULA¹

Source: Logical Methods in Computer Science (LMCS); Jan2019, Vol. 15 Issue 1, p1-32, 32p

The infinitary lambda calculus of the infinite eta Böhm trees.

Authors: SEVERI, PAULA DE VRIES, FER-JAN

Source: Mathematical Structures in Computer Science. Jun2017, Vol. 27 Issue 5, p681-733. 53p.

NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS.

Authors: KURZ, ALEXANDER PETRIŞAN, DANIELA SEVERI, PAULA et al.

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-52, 52p

Infinitary lambda calculus and discrimination of Berarducci trees

Authors: Dezani-Ciancaglini, Mariangiola Severi, Paula de Vries, Fer-Jan

Source: Theoretical Computer Science. Apr2003, Vol. 298 Issue 2, p275. 28p.

Subjects: Lambda calculus, Mathematical logic