Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek

par Farzad Jafarrahmani

Thèse de doctorat en Informatique

La soutenance a eu lieu le 25-01-2023

Le document qui a justifié la délivrance du diplôme est en cours de traitement par la bibliothèque de l'établissement de soutenance.

Sous la direction de Thomas Ehrhard.

Thèses en préparation à l'Université Paris Cité , dans le cadre de 386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec PPS - Preuves Programmes et Systèmes (equipe de recherche) depuis le 12-09-2019 .

mots clés

• Sciences

Pas de résumé en français disponible.

Pas de résumé disponible.