 | 2008 |
|---|
| 14 |       | Fabio Alessi,
Paula Severi:
Recursive Domain Equations of Filter Models.
SOFSEM 2008: 124-135 |
| 2005 |
|---|
| 13 | | Paula Severi,
Fer-Jan de Vries:
Order Structures on Böhm-Like Models.
CSL 2005: 103-118 |
| 12 | | 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 | | Paula Severi,
Fer-Jan de Vries:
Continuity and Discontinuity in Lambda Calculus.
TLCA 2005: 369-385 |
| 2003 |
|---|
| 10 | | Maribel Fernández,
Ian Mackie,
Paula Severi,
Nora Szasz:
Reduction Strategies for Program Extraction.
CLEI Electron. J. 6(1): (2003) |
| 9 | | 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 | | Maribel Fernández,
Paula Severi:
An Operational Approach to Program Extraction in the Calculus of Constructions.
LOPSTR 2002: 111-125 |
| 7 | | Paula Severi,
Fer-Jan de Vries:
An Extensional Böhm Model.
RTA 2002: 159-173 |
| 6 | | 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 | | 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 |
