K

M

KERJEAN , Marie

Last name: KERJEAN

First name: Marie

June 29, 2020 (v1)

Conference paper

Metadata-only

Competing inheritance paths in dependent type theory: a case study in functional analysis

Affeldt, Reynald Cohen, Cyril Kerjean, Marie

International audience

Uploaded on: December 4, 2022