Get started
Author

Paula G. Severi

Observed names: P. Severi, PAULA SEVERI, Paula Severi, Severi, PG Paula, Severi, Paula
OpenAlex ID: A5111453592
Perpetual Reductions inλ-Calculus
1999 · Femke van Raamsdonk, Paula Severi, et al. · Information and Computation · 62
Normalisation in lambda calculus and its relation to type inference
1996 · Severi, PG Paula · TU/e Research Portal · 52
PDF
Pure Type Systems with definitions
1994 · Paula Severi, Erik Poll · Lecture notes in computer science · 50
Observational Equivalence for Multiparty Sessions: Dedicated to Pawel Urzyczyn on the occasion of his 65th birthday
2019 · Paula Severi, Mariangiola Dezani-Ciancaglini · Fundamenta Informaticae · 25
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
2013 · Alexander Kurz, Daniela Luan Petrişan, et al. · Logical Methods in Computer Science · 25
PDF
An Extensional Böhm Model
2002 · Paula Severi, Fer-Jan de Vries · Lecture notes in computer science · 19
On normalisation
1995 · Femke van Raamsdonk, Paula Severi · Data Archiving and Networked Services (DANS) · 19
Type Inference for Pure Type Systems
1998 · Paula Severi · Information and Computation · 15
PDF
The description logic SHIQ with a flexible meta-modelling hierarchy
2015 · Regina Motz, Edelweis Rohrer, et al. · Journal of Web Semantics · 13
PDF
Infinitary lambda calculus and discrimination of Berarducci trees
2003 · Mariangiola Dezani-Ciancaglini, Paula Severi, et al. · Theoretical Computer Science · 13
PDF
Pure type systems with corecursion on streams: from finite to infinitary normalisation
2012 · Paula G. Severi, Fer-Jan J. de Vries · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 12
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation
2011 · Paula Severi, José Fiadeiro, et al. · Journal of Web Semantics · 11
Weakening the Axiom of Overlap in Infinitary Lambda Calculus
2011 · Severi, Paula, de Vries, Fer-Jan · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 11
PDF
Reasoning for $${\mathcal {ALCQ}}$$ Extended with a Flexible Meta-Modelling Hierarchy
2015 · Regina Motz, Edelweis Rohrer, et al. · Lecture notes in computer science · 10
PDF
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
2012 · Alexander Kurz, Daniela Petrişan, et al. · Lecture notes in computer science · 10
Continuity and Discontinuity in Lambda Calculus
2005 · Paula Severi, Fer-Jan de Vries · Lecture notes in computer science · 9
Studies of a Theory of Specifications with Built-in Program Extraction
2001 · Paula Severi, Nora Szasz · Journal of Automated Reasoning · 9
Pure type systems with corecursion on streams: from finite to infinitary normalisation
2012 · Paula G. Severi, Fer-Jan J. de Vries · ACM SIGPLAN Notices · 8
PDF
Infinitary Rewriting: From Syntax to Semantics
2005 · Richard Kennaway, Paula Severi, et al. · Lecture notes in computer science · 8
Order Structures on Böhm-Like Models
2005 · Paula Severi, Fer-Jan de Vries · Lecture notes in computer science · 7
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
2011 · Paula Severi, Fer-Jan de Vries · Lecture notes in computer science · 6
Recursive Domain Equations of Filter Models
2008 · Fabio Alessi, Paula Severi · Springer eBooks · 5
A Light Modality for Recursion
2019 · Paula Severi · Logical Methods in Computer Science · 4
PDF
A Light Modality for Recursion
2017 · Paula Severi · Lecture notes in computer science · 4
Guiding Reification in OWL through Aggregation
2010 · Paula Severi, José Luiz Fiadeiro, et al. · Discovery Research Portal (University of Dundee) · 4
Works count: 64
Citation count: 440
H-index: 11
I10-index: 15
Year
Topic
Type