The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paula Severi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  14. Recursive Domain Equations of Filter Models. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002