Reflexive spaces of smooth functions : a logical account of linear partial differential equations
La théorie de la preuve se développe depuis la correspondance de Curry-Howard suivant deux sources d’inspirations : les langages de programmation, pour lesquels elle agit comme une théorie des types de données, et l’étude sémantique des preuves. Cette dernière consiste à donner des modèles mathémati...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018USPCC144/document |