Rings Which Admit Elimination of Quantifiers. - Chantal Berline (J. Symb. Log., 1981)

QE Rings in Characteristic pn. - Chantal Berline; Gregory L. Cherlin (J. Symb. Log., 1983)

Superstable groups. - Chantal Berline; Daniel Lascar (Ann. Pure Appl. Log., 1986)

Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber. - Chantal Berline (Ann. Pure Appl. Log., 1986)

Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle. - Chantal Berline (RAIRO Theor. Informatics Appl., 1992)

A kappa-Denotational Semantics for Map Theory in ZFC+SI. - Chantal Berline; Klaus Grue (Theor. Comput. Sci., 1999)

From computation to foundations via functions and application: The -calculus and its webbed models. - Chantal Berline (Theor. Comput. Sci., 2000)

BetaEta-Complete Models for System F. - Stefano Berardi; Chantal Berline (Math. Struct. Comput. Sci., 2002)

Building continuous webbed models for system F. - Stefano Berardi; Chantal Berline (Theor. Comput. Sci., 2004)

Graph models of lambda-calculus at work, and variations. - Chantal Berline (Math. Struct. Comput. Sci., 2006)

Easiness in graph models. - Chantal Berline; Antonino Salibra (Theor. Comput. Sci., 2006)

Lambda Theories of Effective Lambda Models. - Chantal Berline; Giulio Manzonetto; Antonino Salibra (CSL, 2007)

Can a Proper Lambda-Model have an R.E. Equational Theory? - Chantal Berline (ICTCS, 2007)

Effective lambda-models vs recursively enumerable lambda-theories - Chantal Berline; Giulio Manzonetto; Antonino Salibra (CoRR, 2008)

Effective lambda-models versus recursively enumerable lambda-theories. - Chantal Berline; Giulio Manzonetto; Antonino Salibra (Math. Struct. Comput. Sci., 2009)

A synthetic axiomatization of Map Theory. - Chantal Berline; Klaus Grue (Theor. Comput. Sci., 2016)