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; a partial answer to conjectures of Cherlin and Zil'ber	1986-01-01	Paper
Superstable groups	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

This page was built for person: Chantal Berline