Folgen
Paula Severi
Titel
Zitiert von
Zitiert von
Jahr
Pure type systems with definitions
P Severi, E Poll
Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994
1071994
Perpetual Reductions in λ-Calculus
F van Raamsdonk, P Severi, MHB Sørensen, H Xi
Information and Computation 149 (2), 173-225, 1999
941999
On normalisation
F Van Raamsdonk, PG Severi
Technische Universiteit Eindhoven, 1995
471995
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
342013
Observational equivalence for multiparty sessions
P Severi, M Dezani-Ciancaglini
Fundamenta Informaticae 170 (1-3), 267-305, 2019
272019
An extensional Böhm model
P Severi, FJ de Vries
Rewriting Techniques and Applications: 13th International Conference, RTA …, 2002
272002
The description logic SHIQ with a flexible meta-modelling hierarchy
R Motz, E Rohrer, P Severi
Journal of Web Semantics 35, 214-234, 2015
252015
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
172012
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
162010
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
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
A light modality for recursion
P Severi
Logical Methods in Computer Science 15, 2019
92019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20