- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 15 |      | Chantal Berline, Giulio Manzonetto, Antonino Salibra: Effective lambda-models versus recursively enumerable lambda-theories. Mathematical Structures in Computer Science 19(5): 897-942 (2009) |
| 2008 | ||
| 14 | | Chantal Berline, Giulio Manzonetto, Antonino Salibra: Effective lambda-models vs recursively enumerable lambda-theories CoRR abs/0806.2264: (2008) |
| 2007 | ||
| 13 | | Chantal Berline, Giulio Manzonetto, Antonino Salibra: Lambda Theories of Effective Lambda Models. CSL 2007: 268-282 |
| 12 |  | Chantal Berline: Can a Proper Lambda-Model have an R.E. Equational Theory? ICTCS 2007: 5 |
| 2006 | ||
| 11 | | Chantal Berline: Graph models of lambda-calculus at work, and variations. Mathematical Structures in Computer Science 16(2): 185-221 (2006) |
| 10 | | Chantal Berline, Antonino Salibra: Easiness in graph models. Theor. Comput. Sci. 354(1): 4-23 (2006) |
| 2004 | ||
| 9 | | Stefano Berardi, Chantal Berline: Building continuous webbed models for system F. Theor. Comput. Sci. 315(1): 3-34 (2004) |
| 2002 | ||
| 8 | | Stefano Berardi, Chantal Berline: BetaEta-Complete Models for System F. Mathematical Structures in Computer Science 12(6): 823-874 (2002) |
| 2000 | ||
| 7 | | Stefano Berardi, Chantal Berline: Building continuous webbed models for system F. Electr. Notes Theor. Comput. Sci. 35: 3-33 (2000) |
| 6 | | Chantal Berline: From computation to foundations via functions and application: The -calculus and its webbed models. Theor. Comput. Sci. 249(1): 81-161 (2000) |
| 1999 | ||
| 5 | | Chantal Berline, Klaus Grue: A kappa-Denotational Semantics for Map Theory in ZFC+SI. Theor. Comput. Sci. 211(1-2): 397-398 (1999) |
| 1997 | ||
| 4 | | Chantal Berline, Klaus Grue: A kappa-Denotational Semantics for Map Theory in ZFC + SI. Theor. Comput. Sci. 179(1-2): 137-202 (1997) |
| 1992 | ||
| 3 | | Chantal Berline: Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle. ITA 26: 59-92 (1992) |
| 1983 | ||
| 2 | | Chantal Berline, Gregory L. Cherlin: QE Rings in Characteristic pn. J. Symb. Log. 48(1): 140-162 (1983) |
| 1981 | ||
| 1 | | Chantal Berline: Rings Which Admit Elimination of Quantifiers. J. Symb. Log. 46(1): 56-58 (1981) |
| 1 | Stefano Berardi | [7] [8] [9] |
| 2 | Gregory L. Cherlin | [2] |
| 3 | Klaus Grue | [4] [5] |
| 4 | Giulio Manzonetto | [13] [14] [15] |
| 5 | Antonino Salibra | [10] [13] [14] [15] |
Colors in the list of coauthors
Last update Thu May 24 01:13:30 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page