2008 |
14 | EE | Fabio Alessi,
Paula Severi:
Recursive Domain Equations of Filter Models.
SOFSEM 2008: 124-135 |
2005 |
13 | EE | Paula Severi,
Fer-Jan de Vries:
Order Structures on Böhm-Like Models.
CSL 2005: 103-118 |
12 | EE | Richard Kennaway,
Paula Severi,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles 2005: 148-172 |
11 | EE | Paula Severi,
Fer-Jan de Vries:
Continuity and Discontinuity in Lambda Calculus.
TLCA 2005: 369-385 |
2003 |
10 | EE | Maribel Fernández,
Ian Mackie,
Paula Severi,
Nora Szasz:
Reduction Strategies for Program Extraction.
CLEI Electron. J. 6(1): (2003) |
9 | EE | Mariangiola Dezani-Ciancaglini,
Paula Severi,
Fer-Jan de Vries:
Infinitary lambda calculus and discrimination of Berarducci trees.
Theor. Comput. Sci. 2(298): 275-302 (2003) |
2002 |
8 | EE | Maribel Fernández,
Paula Severi:
An Operational Approach to Program Extraction in the Calculus of Constructions.
LOPSTR 2002: 111-125 |
7 | EE | Paula Severi,
Fer-Jan de Vries:
An Extensional Böhm Model.
RTA 2002: 159-173 |
6 | EE | Femke van Raamsdonk,
Paula Severi:
Eliminating Proofs from Programs.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
2001 |
5 | | Paula Severi,
Nora Szasz:
Studies of a Theory of Specifications with Built-in Program Extraction.
J. Autom. Reasoning 27(1): 61-87 (2001) |
2000 |
4 | EE | Mariangiola Dezani-Ciancaglini,
Paula Severi,
Fer-Jan de Vries:
Böhm's theorem for Berarducci trees.
Electr. Notes Theor. Comput. Sci. 31: (2000) |
1999 |
3 | | Femke van Raamsdonk,
Paula Severi,
Morten Heine Sørensen,
Hongwei Xi:
Perpetual Reductions in Lambda-Calculus.
Inf. Comput. 149(2): 173-225 (1999) |
1998 |
2 | | Paula Severi:
Type Inference for Pure Type Systems.
Inf. Comput. 143(1): 1-23 (1998) |
1994 |
1 | | Paula Severi,
Erik Poll:
Pure Type Systems with Definitions.
LFCS 1994: 316-328 |