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: | Kerjean, Marie |
---|---|
Other Authors: | Sorbonne Paris Cité |
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://www.theses.fr/2018USPCC144/document |
Similar Items
-
On the semantics of disjunctive logic programs
by: Tsouanas, Athanasios
Published: (2014) -
Catégories et diagrammes de cordes pour les jeux concurrents
by: Eberhart, Clovis
Published: (2018) -
Réalisabilité classique : nouveaux outils et applications
by: Geoffroy, Guillaume
Published: (2019) -
Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation
by: Gaboardi, Marco
Published: (2007) -
Structures concurrentes en sémantique des jeux
by: Castellan, Simon
Published: (2017)