Paula Severi

Available identifiers

zbMath Open severi.paula-gabrielaMaRDI QIDQ1840459

List of research outcomes

Publication	Date of Publication	Type
Meaningless Sets in Infinitary Combinatory Logic	2020-05-27	Paper
Observational Equivalence for Multiparty Sessions	2020-01-24	Paper
A Light Modality for Recursion	2019-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q5275352	2017-07-11	Paper
On Sessions and Infinite Data	2017-06-22	Paper
The infinitary lambda calculus of the infinite eta Böhm trees	2017-06-14	Paper
A Light Modality for Recursion	2017-05-19	Paper
Pure type systems with corecursion on streams	2014-07-21	Paper
Nominal coalgebraic data types with applications to lambda calculus	2014-01-08	Paper
Eliminating proofs from programs	2013-08-19	Paper
Completeness of Conversion between Reactive Programs for Ultrametric Models	2013-06-28	Paper
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q5389089	2012-04-24	Paper
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus	2011-05-27	Paper
An Operational Approach to Program Extraction in the Calculus of Constructions	2011-03-04	Paper
Recursive Domain Equations of Filter Models	2008-03-07	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Computer Science Logic	2006-11-01	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4808745	2004-08-12	Paper
Infinitary lambda calculus and discrimination of Berarducci trees.	2003-05-25	Paper
Studies of a theory of specifications with built-in program extraction	2002-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4499287	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4501161	2000-09-03	Paper
Perpetual reductions in \(\lambda\)-calculus	1999-09-09	Paper
Type inference for pure type systems	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4880706	1996-06-18	Paper

Research outcomes over time

This page was built for person: Paula Severi