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
Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes	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, from finite to infinitary normalisation	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
Weakening the axiom of overlap in infinitary lambda calculus	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