Publications of PAULA GABRIELA SEVERI
-
Paula Severi and Mariangiola Dezani-Ciancaglini.
Observational Equivalence for Multiparty Sessions.
Submitted.
-
Paula Severi.
A Light Modality for Recursion.
To appear in Logical Methods in Computer Science (special issue of FOSSACS 2017)
- Edelweis Rohrer, Paula Severi and Regina Motz.
Applying meta-modelling to an accounting application.
Ontobras 2018.
-
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data.
COORDINATION 2016
-
Mónica Martínez, Edelweis Rohrer and
Paula Severi.
Complexity of the Description Logic ALCM.
KR 2016 .
-
Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries.
Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
Logical Methods in Computer Science 2013. Volume 9, number 4.
-
Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Furio Honsell and Paula Severi.
Intersection Types.
Part III of the Book
Lambda Calculus with Types
H Barengregt, W Dekkers, R Statman (editors).
Perspectives in Logic. Cambridge University Press, 2013.
@incollection{ABDDHSSS13,
booktitle = {Lambda Calculus with Types},
author = {Fabio Alessi and Henk Barendregt and Wil Dekkers and Mariangiola
Dezani-Ciancaglini and Furio Honsell and Paula Severi and Richard
Statman},
title = {{Intersection Types}},
publisher = {Cambridge},
pages = {577-790},
year = {2013},
series = {Perspectives in Logic},
}
Paula Severi and Fer-Jan de Vries.
Completeness of Conversion between Reactive Programs for Ultrametric Models.
TLCA 2013. Lecture Notes in Computer Science Springer 2013.
- Paula Severi and Fer-Jan de Vries.
Pure Type Systems with Corecursion on Streams : Fom Finite to Infinite Normalization.
Proceedings of the
17th ACM SIGPLAN International Conference on Functional Programming,
ICFP 2012.
- Alexander Kurz, Daniela Petrișan, Paula Severi, Fer-Jan
de Vries:
An Alpha-Corecursion Principle for the Infinitary Lambda
Calculus.
In Proceedings of
11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012.
Lecture Notes in Computer Science.
- Paula Severi and Fer-Jan de Vries.
Infinitary Combinatory Logic .
In Proceedings of the 23rd International Conference on Rewriting
Techniques and Applications, RTA 2012.
LIPICS, Volume 15.
-
Paula Severi,
Jose Fiadeiro and
David Ekserdjian.
Guiding the representation of n-ary relations in ontologies through aggregation,
generalisation and participation.
Journal of Web Semantic, volume 9 (2)
pages 83-98,
2011
Volume 9.
The ontology for this paper
can be found here.
- Paula Severi and Fer-Jan de Vries.
Weakening the Axiom of Overlap in the Infinitary Lambda Calculus .
In Proceedings of the 22nd International Conference on Rewriting
Techniques and Applications, RTA 2011,
LIPICS, volume 10, 2011.
- Paula Severi and Fer-Jan de Vries.
Decomposing the Lattice of Sets of Meaningless
Terms in the Infinitary Lambda Calculus .
In Proceedings of Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20,
2011.
Lecture Notes in Computer Science, volume 6642,
2011.
- Paula Severi, Jose Fiadeiro and David Ekserdjian.
Guiding Reification in OWL through Aggregations
Proc. of the 23rd International Workshop on Description Logics, 2010.
- Editors Simona
Ronchi Della Rocca and Paula Severi.
Special Issue of TLCA 2007 .
Logical Methods in Computer Science.
- Fabio Alessi and Paula Severi.
Recursive Domain Equations of Filter Models.
SOFSEM 2008: Theory and Practice of Computer Science
34th Conference on Current Trends in Theory and Practice of Computer Science,
Novy Smokovec, Slovakia, January 19-25, 2008.
Vol. 4910 of Lecture Notes in Computer Science.
ps file.
pdf file.
- Paula Severi.
Infinite Multi-bases.
Reflections on Type Theory, Lambda Calculus, and the Mind.
Editors Erik Barendsen, Venanzio Capretta, Hermann Geuvers
and Milad Niqui. Radboud University Nijmegen, 2007.
pdf file.
- Paula Severi and Fer-Jan de Vries.
Order Structures on Bohm-like Models .
Computer Science Logic 2005.
Oxford, UK. August 2005.
Volume 3634 of Lecture Notes in Computer Science,
pages 103-118, 2005.
pdf file.
-
Paula Severi and Fer-Jan de Vries. Continuity and Discontinuity in
Lambda Calculus. Conference paper in Pawel Urzyczyn, editor, Typed
Lambda Calculus and Applications, Proceedings of the 7th International
Conference, TLCA 2005, Nara Japan, April 21-23 2005. (Lecture Notes in
Computer Science 3461), Springer-Verlag. Page 369-385. 2005.
pdf file.
-
Richard Kennaway, Paula Severi, Ronan Sleep, and Fer-Jan de
Vries.
Infinitary Rewriting: From Syntax to Semantics.
In proceedings of Processes, Terms and Cycles:
Steps on the Road to Infinity:
Essays dedicated to Jan Willem Klop on the Occasion of
His 60th Birthday, editors: A. Middeldorp, V. van Oostrom,
F. van Raamsdonk and R. de Vrijer. SLNCS 3838, pages 148-172, 2005.
pdf file.
- Paula Severi and Fer-Jan de Vries.
Separability of Infinite Terms.
Second workshop
on Lambda Calculus, Type Theory and Natural Language.
September 2005. London, UK.
pdf file.
- Mariangiola Dezani-Ciancaglini, Paula Severi and Fer-Jan de Vries.
Infinitary
Lambda Calculus and Discrimination of Berarducci Trees.
Theoretical Computer Science
298(2):275 - 302, 2003.
ps file
- Maribel Fernández, Ian Mackie, Paula Severi and Nora Szasz.
Reduction strategies for program extraction.
CLEI Electronic Journal, Volume 6(1) December 2003.
Special Issue of Best Papers presented at CLEI 2002.
- Paula Severi and Nora Szasz.
Studies of a Theory of Specifications with built-in Program
Extraction.
Journal of Automated Reasoning. Vol. 27, no. 1, pages 61-87,
2001.
Special Issue on Logical Frameworks and Metalanguages.
ps file.
- Femke van Raamsdonk, Paula Severi,
Morten Heine Sørensen
and Hongwei Xi.
Perpetual Reductions in Lambda Calculus.
Information and Computation, Vol. 149, No 2, pages
173--225, 1999.
ps file.
- Paula Severi.
Type Inference for Pure Type Systems.
Information and Computation, Vol. 143, No 1, pages 1-23,
1998. ps file.
- P. Severi and F.J. de Vries. An Extensional Böhm Model.
Conference paper in Sophie Tison, editor, Rewiting Techniques and
Applications, Proceedings of the 13th International Conference, RTA
2002, Copenhagen Denmark, July 2002. (Lecture Notes in Computer
Science 2378), Springer-Verlag. Page 159-173. 2002.
ps file.
- Maribel Fernández and Paula Severi.
An operational approach to program extraction in the Calculus of
Constructions.
Proceedings of LOPSTR '02 (International Workshop on
Logic Based Program Development and Transformation).
September 2002. Madrid, Spain.
Volume 2664 of Lecture Notes in Computer Science,
pages 111-125, 2003.
ps file.
- Maribel Fernández, Ian Mackie, Paula Severi and Nora Szasz.
A uniform approach to program extraction:
Pure Type Systems with ultra Sigma types.
Proceedings XXVIII Conferencia Latinoamericana de Informática (CLEI'02),
Montevideo, November 2002.
ps file.
- Paula Severi and Nora Szasz.
Internal program extraction in the
Calculus of Inductive Constructions.
Proceedings of WAIT'02
(Argentine Workshop on Theoretical Computer Science).
September 2002. Santa Fe, Argentina.
ps file.
- Femke van Raamsdonk and Paula Severi.
Eliminating proofs from programs.
Third International Workshop on Logical Frameworks and
Meta-Languages (LFM'02).
July 2002. Copenhagen, Denmark.
Vol. 70.2 of Electronic Notes in Theoretical Computer Science.
studied.
- Mariangiola Dezani-Ciancaglini, Paula Severi and Fer-Jan de Vries.
Böhm's Theorem for Berarducci Trees.
Proceedings of CATS 2000: Computing: The Australasian Theory
Symposium,
Canberra, Australia. February 1-2, 2000.
Vol. 31 of
Electronic Notes in Theoretical Computer Science.
ps file.
- Ana Bove and Paula Severi.
Alpha Conversion in Simply Typed Lambda Calculus.
Proceedings of WOLLIC '99
(Workshop of Logic, Language, Information and Computation).
May, 1999.
Rio de Janeiro, Brasil.
ps file.
- Paula Severi.
Pure Type Systems without the Pi condition.
Proceedings of 7th Nordic Workshop on Programming Theory.
November 1-3, 1995. Göteborg, Sweden.
- Erik Poll and Paula Severi.
Pure Type Systems with Definitions.
Proceedings of Symposium on Logical Foundations of
Computer Science, 1994. Saint Petersburg, Russia.
Vol. 813 of Lecture Notes in Computer Science,
pages 316--328, 1994.
ps file.
- Paula Severi.
Normalisation in Lambda Calculus and its relation
to Type Inference. Ph.D. Thesis
pdf file.
Technische Universiteit Eindhoven (The Netherlands).
|
