University of Leicester

computer science

Publications of PAULA GABRIELA SEVERI.

2014

  • Regina Motz, Edelweis Rohrer and Paula Severi. Reasoning for ALCQ extended with a flexible meta-modelling hierarchy. Awarded Second Best paper at JIST 2014. To appear in LNCS. Long version.
  • Edelweis Rohrer, Paula Severi, Regina Motz, Alicia Díaz. Metamodelling in a Ontology Network. WoMO@FOIS 2014
  • Paula Severi and Fer-Jan de Vries. The Infinitary Lambda Calculus of the Infinite Eta Bohm Trees. To appear in MSCS. Long version.

2013

  • 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
  • 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.

2012

  • 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.

2011

  • 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.

2010 and earlier

  • 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 Dezani-Ciancaglini, 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 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).





























| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]| Homepage |[University Index A-Z]|[University Search]|[University Help]|

Author: Paula Gabriela Severi .
© University of Leicester. Last modified: 26th November 2014, 09:57:34.
CS Web Maintainer.