Chantal Berline

18 papers B 1Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2016 J jnl
A synthetic axiomatization of Map Theory.
Theor. Comput. Sci.
Chantal Berline, Klaus Grue
2009 J jnl
Effective lambda-models versus recursively enumerable lambda-theories.
Math. Struct. Comput. Sci.
Chantal Berline, Giulio Manzonetto, Antonino Salibra
2008 J jnl
Effective lambda-models vs recursively enumerable lambda-theories
CoRR
Chantal Berline, Giulio Manzonetto, Antonino Salibra
2007 — conf
Can a Proper Lambda-Model have an R.E. Equational Theory?
ICTCS
Chantal Berline
2007 B conf
Lambda Theories of Effective Lambda Models.
CSL
Chantal Berline, Giulio Manzonetto, Antonino Salibra
2006 J jnl
Easiness in graph models.
Theor. Comput. Sci.
Chantal Berline, Antonino Salibra
2006 J jnl
Graph models of lambda-calculus at work, and variations.
Math. Struct. Comput. Sci.
Chantal Berline
2004 J jnl
Building continuous webbed models for system F.
Theor. Comput. Sci.
Stefano Berardi, Chantal Berline
2002 J jnl
BetaEta-Complete Models for System F.
Math. Struct. Comput. Sci.
Stefano Berardi, Chantal Berline
2000 J jnl
From computation to foundations via functions and application: The -calculus and its webbed models.
Theor. Comput. Sci.
Chantal Berline
1999 J jnl
A kappa-Denotational Semantics for Map Theory in ZFC+SI.
Theor. Comput. Sci.
Chantal Berline, Klaus Grue
1998 — conf
Building continuous webbed models for system F.
Workshop on Domains
Stefano Berardi, Chantal Berline
1997 J jnl
A kappa-Denotational Semantics for Map Theory in ZFC + SI.
Theor. Comput. Sci.
Chantal Berline, Klaus Grue
1992 J jnl
Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle.
RAIRO Theor. Informatics Appl.
Chantal Berline
1986 J jnl
Superstable groups.
Ann. Pure Appl. Log.
Chantal Berline, Daniel Lascar
1986 J jnl
Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber.
Ann. Pure Appl. Log.
Chantal Berline
1983 J jnl
QE Rings in Characteristic p
J. Symb. Log.
Chantal Berline, Gregory L. Cherlin
1981 J jnl
Rings Which Admit Elimination of Quantifiers.
J. Symb. Log.
Chantal Berline