Follow
Paula Severi
Title
Cited by
Cited by
Year
Pure type systems with definitions
P Severi, E Poll
Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994
102*1994
Perpetual Reductions in λ-Calculus
F van Raamsdonk, P Severi, MHB Sørensen, H Xi
Information and Computation 149 (2), 173-225, 1999
901999
On normalisation
F Van Raamsdonk, PG Severi
Technische Universiteit Eindhoven, 1995
471995
Normalisation in lambda calculus and its relation to type inference
PG Severi
371996
Nominal coalgebraic data types with applications to lambda calculus
A Kurz, DL Petrişan, P Severi, FJ de Vries
Logical Methods in Computer Science 9, 2013
332013
An extensional Böhm model
P Severi, FJ de Vries
Rewriting Techniques and Applications: 13th International Conference, RTA …, 2002
262002
Observational equivalence for multiparty sessions
P Severi, M Dezani-Ciancaglini
Fundamenta Informaticae 170 (1-3), 267-305, 2019
252019
The description logic SHIQ with a flexible meta-modelling hierarchy
R Motz, E Rohrer, P Severi
Journal of Web Semantics 35, 214-234, 2015
242015
Pure type systems with corecursion on streams: from finite to infinitary normalisation
PG Severi, FJJ de Vries
ACM SIGPLAN Notices 47 (9), 141-152, 2012
222012
Infinitary lambda calculus and discrimination of Berarducci trees
M Dezani-Ciancaglini, P Severi, FJ de Vries
Theoretical Computer Science 298 (2), 275-302, 2003
182003
An alpha-corecursion principle for the infinitary lambda calculus
A Kurz, D Petrişan, P Severi, FJ De Vries
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012
162012
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation
P Severi, J Fiadeiro, D Ekserdjian
Journal of Web Semantics 9 (2), 83-98, 2011
162011
Guiding reification in owl through aggregation
P Severi, J Fiadeiro, D Ekserdjian
23rd International Workshop on Description Logics DL2010, 408, 2010
152010
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy
R Motz, E Rohrer, P Severi
Joint International Semantic Technology Conference, 47-62, 2014
142014
Studies of a theory of specifications with built-in program extraction
P Severi, N Szasz
Journal of Automated Reasoning 27 (1), 61-87, 2001
142001
Weakening the axiom of overlap in infinitary lambda calculus
P Severi, FJ de Vries
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
132011
Order structures on Böhm-like models
P Severi, FJ de Vries
International Workshop on Computer Science Logic, 103-118, 2005
132005
Infinitary rewriting: From syntax to semantics
R Kennaway, P Severi, R Sleep, FJ de Vries
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005
132005
On sessions and infinite data
P Severi, L Padovani, E Tuosto, M Dezani-Ciancaglini
Logical Methods in Computer Science 13, 2017
102017
A light modality for recursion
P Severi
Logical Methods in Computer Science 15, 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20