Pure Type Systems with Definitions. - Paula Severi; Erik Poll (LFCS, 1994)

Type Inference for Pure Type Systems. - Paula Severi (Inf. Comput., 1998)

Perpetual Reductions in Lambda-Calculus. - Femke van Raamsdonk; Paula Severi; Morten Heine Sørensen; Hongwei Xi (Inf. Comput., 1999)

Böhm's theorem for Berarducci trees. - Mariangiola Dezani-Ciancaglini; Paula Severi; Fer-Jan de Vries (CATS, 2000)

Studies of a Theory of Specifications with Built-in Program Extraction. - Paula Severi; Nora Szasz (J. Autom. Reason., 2001)

An Operational Approach to Program Extraction in the Calculus of Constructions. - Maribel Fernández; Paula Severi (LOPSTR, 2002)

An Extensional Böhm Model. - Paula Severi; Fer-Jan de Vries (RTA, 2002)

Eliminating Proofs from Programs. - Femke van Raamsdonk; Paula Severi (LFM, 2002)

Reduction Strategies for Program Extraction. - Maribel Fernández; Ian Mackie; Paula Severi; Nora Szasz (CLEI Electron. J., 2003)

Infinitary lambda calculus and discrimination of Berarducci trees. - Mariangiola Dezani-Ciancaglini; Paula Severi; Fer-Jan de Vries (Theor. Comput. Sci., 2003)

Infinitary Rewriting: From Syntax to Semantics. - Richard Kennaway; Paula Severi; M. Ronan Sleep; Fer-Jan de Vries (Processes, Terms and Cycles, 2005)

Order Structures on Böhm-Like Models. - Paula Severi; Fer-Jan de Vries (CSL, 2005)

Continuity and Discontinuity in Lambda Calculus. - Paula Severi; Fer-Jan de Vries (TLCA, 2005)

Recursive Domain Equations of Filter Models. - Fabio Alessi; Paula Severi (SOFSEM, 2008)

Guiding Reification in OWL through Aggregation. - Paula Severi; José Luiz Fiadeiro; David Ekserdjian (Description Logics, 2010)

Weakening the Axiom of Overlap in Infinitary Lambda Calculus. - Paula Severi; Fer-Jan de Vries (RTA, 2011)

Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. - Paula Severi; Fer-Jan de Vries (WoLLIC, 2011)

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation. - Paula Severi; José Luiz Fiadeiro; David Ekserdjian (J. Web Semant., 2011)

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. - Alexander Kurz 001; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CMCS, 2012)

Pure type systems with corecursion on streams: from finite to infinitary normalisation. - Paula Severi; Fer-Jan de Vries (ICFP, 2012)

Meaningless Sets in Infinitary Combinatory Logic. - Paula Severi; Fer-Jan de Vries (RTA, 2012)

Completeness of Conversion between Reactive Programs for Ultrametric Models. - Paula Severi; Fer-Jan de Vries (TLCA, 2013)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus. - Alexander Kurz 001; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (Log. Methods Comput. Sci., 2013)

Metamodelling in a Ontology Network. - Edelweis Rohrer; Paula Severi; Regina Motz; Alicia Díaz (WoMO@FOIS, 2014)

Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy. - Regina Motz; Edelweis Rohrer; Paula Severi (JIST, 2014)

Reasoning for ALCQ extended with a flexible meta-modelling hierarchy. - Regina Motz; Edelweis Rohrer; Paula Severi (CoRR, 2014)

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. - Alexander Kurz 001; Alberto Pardo; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CALCO, 2015)

The description logic SHIQ with a flexible meta-modelling hierarchy. - Regina Motz; Edelweis Rohrer; Paula Severi (J. Web Semant., 2015)

Complexity of the Description Logic ALCM. - Monica Martinez; Edelweis Rohrer; Paula Severi (KR, 2016)

Applying Description Logics Extended with Meta-modelling to SNOMED-CT. - Regina Motz; Edelweis Rohrer; Paula Severi (AMW, 2017)

On Sessions and Infinite Data. - Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2017)

The infinitary lambda calculus of the infinite eta Böhm trees. - Paula Severi; Fer-Jan de Vries (Math. Struct. Comput. Sci., 2017)

Applying Meta-Modellig to an Accounting Application. - Edelweis Rohrer; Paula Severi; Regina Motz (ONTOBRAS, 2018)

Two Light Modalities for Recursion. - Paula Severi (CoRR, 2018)

Meta-Modelling Ontology Design Pattern. - Edelweis Rohrer; Paula Severi; Regina Motz (KGSWC, 2019)

A Description Logic for Unifying Different Points of View. - Paula Severi; Edelweis Rohrer; Regina Motz (KGSWC, 2019)

Observational Equivalence for Multiparty Sessions. - Paula Severi; Mariangiola Dezani-Ciancaglini (Fundam. Informaticae, 2019)

A Light Modality for Recursion. - Paula Severi (Log. Methods Comput. Sci., 2019)