The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chantal Berline: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefano Berardi, Chantal Berline
    Building continuous webbed models for system F. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
  2. Chantal Berline
    Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle. [Citation Graph (0, 0)][DBLP]
    ITA, 1992, v:26, n:, pp:59-92 [Journal]
  3. Chantal Berline
    Rings Which Admit Elimination of Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:56-58 [Journal]
  4. Chantal Berline, Gregory L. Cherlin
    QE Rings in Characteristic pn. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:140-162 [Journal]
  5. Stefano Berardi, Chantal Berline
    BetaEta-Complete Models for System F. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:6, pp:823-874 [Journal]
  6. Stefano Berardi, Chantal Berline
    Building continuous webbed models for system F. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:3-34 [Journal]
  7. Chantal Berline
    From computation to foundations via functions and application: The -calculus and its webbed models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:249, n:1, pp:81-161 [Journal]
  8. Chantal Berline, Klaus Grue
    A kappa-Denotational Semantics for Map Theory in ZFC + SI. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:179, n:1-2, pp:137-202 [Journal]
  9. Chantal Berline, Klaus Grue
    A kappa-Denotational Semantics for Map Theory in ZFC+SI. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:397-398 [Journal]
  10. Chantal Berline, Antonino Salibra
    Easiness in graph models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:4-23 [Journal]
  11. Chantal Berline, Giulio Manzonetto, Antonino Salibra
    Lambda Theories of Effective Lambda Models. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:268-282 [Conf]

  12. Can a Proper Lambda-Model have an R.E. Equational Theory? [Citation Graph (, )][DBLP]


  13. Effective lambda-models vs recursively enumerable lambda-theories [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