Publications of PAULA GABRIELA SEVERI.

Paula Severi and FerJan de Vries.
The Infinitary Lambda Calculus of the Infinite Eta Bohm Trees.
To appear in MSCS.

Alexander Kurz, Daniela Petrisan, Paula Severi and FerJan de Vries.
Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
Logical Methods in Computer Science 2013. Volume 9, number 4.
 Paula Severi and FerJan de Vries.
Completeness of Conversion between Reactive Programs for Ultrametric Models.
TLCA 2013. Lecture Notes in Computer Science Springer 2013.
 Paula Severi and FerJan 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, FerJan
de Vries:
An AlphaCorecursion 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 FerJan 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 nary relations in ontologies through aggregation,
generalisation and participation.
Journal of Web Semantic, volume 9 (2)
pages 8398,
2011
Volume 9.
The ontology for this paper
can be found here.
 Paula Severi and FerJan 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 FerJan 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 1820,
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, Henk Barendregt, Wil Dekkers,
Mariangiola DezaniCiancaglini, Paula Severi.
Intersection Types .
Part III of Book
Typed Lambda Calculus.
Editors Henk Barendregt,
Wil Dekkers, Richard Statman. To appear.
 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 1925, 2008.
Vol. 4910 of Lecture Notes in Computer Science.
ps file.
pdf file.
 Paula Severi.
Infinite Multibases.
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 FerJan de Vries.
Order Structures on Bohmlike Models .
Computer Science Logic 2005.
Oxford, UK. August 2005.
Volume 3634 of Lecture Notes in Computer Science,
pages 103118, 2005.
pdf file.

Paula Severi and FerJan 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 2123 2005. (Lecture Notes in
Computer Science 3461), SpringerVerlag. Page 369385. 2005.
pdf file.

Richard Kennaway, Paula Severi, Ronan Sleep, and FerJan 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 148172, 2005.
pdf file.
 Paula Severi and FerJan de Vries.
Separability of Infinite Terms.
Second workshop
on Lambda Calculus, Type Theory and Natural Language.
September 2005. London, UK.
pdf file.
 Mariangiola DezaniCiancaglini, Paula Severi and FerJan 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 builtin Program
Extraction.
Journal of Automated Reasoning. Vol. 27, no. 1, pages 6187,
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
173225, 1999.
ps file.
 Paula Severi.
Type Inference for Pure Type Systems.
Information and Computation, Vol. 143, No 1, pages 123,
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), SpringerVerlag. Page 159173. 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 111125, 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
MetaLanguages (LFM'02).
July 2002. Copenhagen, Denmark.
Vol. 70.2 of Electronic Notes in Theoretical Computer Science.
studied.
 Mariangiola DezaniCiancaglini, Paula Severi and FerJan de Vries.
Böhm's Theorem for Berarducci Trees.
Proceedings of CATS 2000: Computing: The Australasian Theory
Symposium,
Canberra, Australia. February 12, 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 13, 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 316328, 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).
