| Document Date: 2010-01-30 16:32:10
Open Document File Size: 223,79 KBShare Result on Facebook
City CEDEX / Palaiseau / Prop / / Company mkGroup / Microsoft / Structure Canonique Structure Group / / Country France / / / Organization Centre 2 / Ecole polytechnique / eta / / Person Structures Canoniques / Mathieu Sozeau / Gilles Barthe / SSR EFLECT / Pierre Courtieu / / ProvinceOrState Île-de-France / Terre-Neuve-et-Labrador / / |
Les types quotients en Coq Cyril Cohen ˆ