Følg
Paula Severi
Titel
Citeret af
Citeret af
År
Pure type systems with definitions
P Severi, E Poll
Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994
1061994
Perpetual Reductions in λ-Calculus
F van Raamsdonk, P Severi, MHB Sørensen, H Xi
Information and Computation 149 (2), 173-225, 1999
931999
On normalisation
F Van Raamsdonk, PG Severi
Technische Universiteit Eindhoven, 1995
461995
Normalisation in lambda calculus and its relation to type inference
PG Severi
361996
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
Observational Equivalence for Multiparty Sessions: Dedicated to Pawel Urzyczyn on the occasion of his 65th birthday
P Severi, M Dezani-Ciancaglini
Fundamenta Informaticae 170 (1-3), 267-305, 2019
282019
An extensional Böhm model
P Severi, FJ de Vries
Rewriting Techniques and Applications: 13th International Conference, RTA …, 2002
282002
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
232012
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
172012
Infinitary lambda calculus and discrimination of Berarducci trees
M Dezani-Ciancaglini, P Severi, FJ de Vries
Theoretical Computer Science 298 (2), 275-302, 2003
172003
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
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy
R Motz, E Rohrer, P Severi
Joint International Semantic Technology Conference, 47-62, 2014
152014
Guiding reification in owl through aggregation
P Severi, J Fiadeiro, D Ekserdjian
23rd International Workshop on Description Logics DL2010, 408, 2010
152010
Weakening the axiom of overlap in infinitary lambda calculus
P Severi, FJ de Vries
22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011
142011
Order structures on Böhm-like models
P Severi, FJ de Vries
International Workshop on Computer Science Logic, 103-118, 2005
142005
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
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
112017
Continuity and discontinuity in lambda calculus
P Severi, FJ de Vries
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
102005
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20