Paula Severi
Title
Cited by
Cited by
Year
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
3052013
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
91*1994
Perpetual Reductions in λ-Calculus
F van Raamsdonk, P Severi, MHB S°rensen, H Xi
Information and Computation 149 (2), 173-225, 1999
861999
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
801994
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
481995
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
481995
Normalisation in lambda calculus and its relation to type inference
PG Severi
Technische Universiteit Eindhoven, 1996
371996
An extensional B÷hm model
P Severi, FJ de Vries
International Conference on Rewriting Techniques and Applications, 159-173, 2002
272002
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
232012
Nominal coalgebraic data types with applications to lambda calculus
A Kurz, DL Petrişan, P Severi, FJ de Vries
arXiv preprint arXiv:1311.1395, 2013
212013
Infinitary lambda calculus and discrimination of Berarducci trees
M Dezani-Ciancaglini, P Severi, FJ de Vries
Theoretical Computer Science 298 (2), 275-302, 2003
202003
The description logic SHIQ with a flexible meta-modelling hierarchy
R Motz, E Rohrer, P Severi
Journal of Web Semantics 35, 214-234, 2015
192015
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
Guiding reification in OWL through aggregation
P Severi, J Fiadeiro, D Ekserdjian
23rd International Workshop on Description Logics DL2010, 408, 2010
132010
Order structures on B÷hm-like models
P Severi, FJ de Vries
International Workshop on Computer Science Logic, 103-118, 2005
132005
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
122011
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy
R Motz, E Rohrer, P Severi
Joint International Semantic Technology Conference, 47-62, 2014
112014
A light modality for recursion
P Severi
International Conference on Foundations of Software Science and Computationá…, 2017
102017
An alpha-corecursion principle for the infinitary lambda calculus
A Kurz, D Petrişan, P Severi, FJ de Vries
International Workshop on Coalgebraic Methods in Computer Science, 130-149, 2012
102012
The system can't perform the operation now. Try again later.
Articles 1–20