Paula Severi
Title
Cited by
Cited by
Year
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
3372013
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
95*1994
Perpetual Reductions in λ-Calculus
F van Raamsdonk, P Severi, MHB S°rensen, H Xi
Information and Computation 149 (2), 173-225, 1999
871999
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
841994
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
471995
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
471995
Normalisation in lambda calculus and its relation to type inference
PG Severi
Technische Universiteit Eindhoven, 1996
361996
An extensional B÷hm model
P Severi, FJ de Vries
International Conference on Rewriting Techniques and Applications, 159-173, 2002
272002
Nominal coalgebraic data types with applications to lambda calculus
FJ de Vries, P Severi, DL Petrişan, A Kurz
Logical Methods in Computer Science 9, 2013
242013
The description logic SHIQ with a flexible meta-modelling hierarchy
R Motz, E Rohrer, P Severi
Journal of Web Semantics 35, 214-234, 2015
232015
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
202003
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
Observational equivalence for multiparty sessions
P Severi, M Dezani-Ciancaglini
Fundamenta Informaticae 170 (1-3), 267-305, 2019
122019
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy
R Motz, E Rohrer, P Severi
Joint International Semantic Technology Conference, 47-62, 2014
122014
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
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, 148-172, 2005
112005
The system can't perform the operation now. Try again later.
Articles 1–20