TY  - THES
DP  - http://www.theses.fr/2018USPCC144
TI  - Reflexive spaces of smooth functions : a logical account of linear partial differential equations
AU  - Kerjean, Marie
A3  - Ehrhard, Thomas
PY  - 2018
N1  - Thèse de doctorat Informatique. Informatique fondamentale Sorbonne Paris Cité 2018
N1  - 2018USPCC144
UR  - http://www.theses.fr/2018USPCC144/document
ER  -