Follow
Paula Severi
Title
Cited by
Cited by
Year
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
3672013
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
96*1994
Perpetual Reductions in λ-Calculus
F van Raamsdonk, P Severi, MHB S°rensen, H Xi
Information and Computation 149 (2), 173-225, 1999
891999
Pure type systems with definitions
P Severi, E Poll
International Symposium on Logical Foundations of Computer Science, 316-328, 1994
851994
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
491995
On normalisation
F Van Raamsdonk, P Severi
Centrum voor Wiskunde en Informatica, 1995
491995
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 Vries
International Conference on Rewriting Techniques and Applications, 159-173, 2002
282002
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
262013
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
212003
Observational equivalence for multiparty sessions
P Severi, M Dezani-Ciancaglini
Fundamenta Informaticae 170 (1-3), 267-305, 2019
192019
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
142011
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 Vries
International Workshop on Computer Science Logic, 103-118, 2005
132005
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
An alpha-corecursion principle for the infinitary lambda calculus
A Kurz, D Petrişan, P Severi, FJ Vries
International Workshop on Coalgebraic Methods in Computer Science, 130-149, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20