Chantal Berline

According to our database, Chantal Berline authored at least 16 papers between 1981 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

A synthetic axiomatization of Map Theory.

Chantal Berline, Klaus Grue

Theor. Comput. Sci., 2016

2009

Effective lambda-models versus recursively enumerable lambda-theories.

Chantal Berline, Giulio Manzonetto, Antonino Salibra

Math. Struct. Comput. Sci., 2009

2008

Effective lambda-models vs recursively enumerable lambda-theories

Chantal Berline, Giulio Manzonetto, Antonino Salibra

CoRR, 2008

2007

Can a Proper Lambda-Model have an R.E. Equational Theory?

Chantal Berline

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

Lambda Theories of Effective Lambda Models.

Chantal Berline, Giulio Manzonetto, Antonino Salibra

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Easiness in graph models.

Chantal Berline, Antonino Salibra

Theor. Comput. Sci., 2006

Graph models of lambda-calculus at work, and variations.

Chantal Berline

Math. Struct. Comput. Sci., 2006

2002

BetaEta-Complete Models for System F.

Stefano Berardi, Chantal Berline

Math. Struct. Comput. Sci., 2002

2000

From computation to foundations via functions and application: The -calculus and its webbed models.

Chantal Berline

Theor. Comput. Sci., 2000

1999

A kappa-Denotational Semantics for Map Theory in ZFC+SI.

Chantal Berline, Klaus Grue

Theor. Comput. Sci., 1999

1998

Building continuous webbed models for system F.

Stefano Berardi, Chantal Berline

Proceedings of the Workshop on Domains IV 1998, 1998

1992

Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle.

Chantal Berline

RAIRO Theor. Informatics Appl., 1992

1986

Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber.

Chantal Berline

Ann. Pure Appl. Log., 1986

Superstable groups.

Chantal Berline, Daniel Lascar

Ann. Pure Appl. Log., 1986

1983

QE Rings in Characteristic pⁿ.

Chantal Berline, Gregory L. Cherlin

J. Symb. Log., 1983

1981

Rings Which Admit Elimination of Quantifiers.

Chantal Berline

J. Symb. Log., 1981