English
Kerjean, Marie
Auteur
H
Personal page : https://lipn.univ-paris13.fr/~kerjean/
ORCID : 0000-0001-6141-6251
ISNI : idRef : 241141346
Viaf : 98157581824233782871
ZBMATH : kerjean.marie
Kerjean, M.
CNRS - Université Sorbonne Paris Nord
Personal page : https://lipn.univ-paris13.fr/~kerjean/
ORCID : 0000-0001-6141-6251
ISNI : idRef : 241141346
Viaf : 98157581824233782871
ZBMATH : kerjean.marie
Documents (Auteurs)
-
[Multi angle]
An introduction to Differential Linear Logic
/ Auteur de la Conférence Kerjean, Marie.
-Marseille : CIRM
-
[Multi angle]
Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
/ Auteur de la Conférence Kerjean, Marie.
-Marseille : CIRM
-
[Multi angle]
Differential linear logic extended to differential operators
/ Auteur de la Conférence Kerjean, Marie.
-Marseille : CIRM
