@PHDTHESIS{kerje2018,
url = "http://www.theses.fr/2018USPCC144",
title = "Reflexive spaces of smooth functions : a logical account of linear partial differential equations",
author = "Kerjean, Marie",
year = "2018",
note = "Thèse de doctorat dirigée par Ehrhard, Thomas Informatique. Informatique fondamentale Sorbonne Paris Cité 2018",
note = "2018USPCC144",
url = "http://www.theses.fr/2018USPCC144/document",
}