Paula G.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
https://portal.mardi4nfdi.de/entity/Q2844809	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paula G.Severi