 | 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: (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) |
