Vers un foncteur de nerf pour les ω-catégories faibles

Towards a nerve functor for weak ω-categories

• Auteur / Autrice : Yoann Barszezak
• Direction : Tom Hirschowitz
• Type : Projet de thèse
• Discipline(s) : Mathématiques et Informatique
• Date : Inscription en doctorat le 01/09/2021
• Etablissement(s) : Chambéry
• Ecole(s) doctorale(s) : École doctorale Mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 1995-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire de mathématiques

Mots clés

Mots clés libres

Langages de programmation

Analyse de programmes

Sémantique catégorique

Programming languages

Programm analysis

Categorical semantics

Résumé

Ce projet s'inscrit dans le cadre de l'élaboration d'une théorie des langages de programmation, au sens d'une boîte à outils mathématique pour concevoir, analyser et relier entre eux des langages de programmation. Le but principal est la conception d'approches génériques de l'analyse de programmes, principalement les équivalences et les logiques de programmes. Une étape importante est l'analyse mathématique du typage statique.

This projects is part of the elaboration of a theory for programming languages, that is a toolbox to write, analyse and link together programming laguages. The main goal is the conception of generic approaches of programming languages, including equivalences (e.g bisimulations) and logic programming. An important step is the mathematical analysis of static typing.