dblp.uni-trier.dewww.uni-trier.de

Paula Severi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEFabio Alessi, Paula Severi: Recursive Domain Equations of Filter Models. SOFSEM 2008: 124-135
2005
13EEPaula Severi, Fer-Jan de Vries: Order Structures on Böhm-Like Models. CSL 2005: 103-118
12EERichard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172
11EEPaula Severi, Fer-Jan de Vries: Continuity and Discontinuity in Lambda Calculus. TLCA 2005: 369-385
2003
10EEMaribel Fernández, Ian Mackie, Paula Severi, Nora Szasz: Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1): (2003)
9EEMariangiola 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
8EEMaribel Fernández, Paula Severi: An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR 2002: 111-125
7EEPaula Severi, Fer-Jan de Vries: An Extensional Böhm Model. RTA 2002: 159-173
6EEFemke 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
4EEMariangiola 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

Coauthor Index

1Fabio Alessi [14]
2Mariangiola Dezani-Ciancaglini [4] [9]
3Maribel Fernández [8] [10]
4Richard Kennaway [12]
5Ian Mackie [10]
6Erik Poll [1]
7Femke van Raamsdonk [3] [6]
8M. Ronan Sleep [12]
9Morten Heine Sørensen [3]
10Nora Szasz [5] [10]
11Fer-Jan de Vries [4] [7] [9] [11] [12] [13]
12Hongwei Xi [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)