Chantal Berline

Available identifiers

zbMath Open berline.chantalMaRDI QIDQ1391738

List of research outcomes

Publication	Date of Publication	Type
A synthetic axiomatization of map theory	2016-01-21	Paper
Effective λ-models versus recursively enumerable λ-theories	2009-11-11	Paper
Lambda Theories of Effective Lambda Models	2009-03-05	Paper
Graph models of $\lambda$-calculus at work, and variations	2006-08-10	Paper
Easiness in graph models	2006-04-28	Paper
Building continuous webbed models for system F	2004-08-06	Paper
βη-complete models for System F	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4513574	2001-02-28	Paper
From computation to foundations via functions and application: The $\lambda$-calculus and its webbed models	2000-10-26	Paper
A $\kappa$-denotational semantics for map theory in ZFC+SI	1999-01-12	Paper
A $\kappa$-denotational semantics for map theory in ZFC+SI	1998-07-22	Paper
Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3027226	1987-01-01	Paper
Superstable groups	1986-01-01	Paper
Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775563	1984-01-01	Paper
QE rings in characteristic pⁿ	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4750629	1983-01-01	Paper
Rings which admit elimination of quantifiers	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924179	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936725	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936736	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3890673	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4149888	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053641	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chantal Berline