Offres de stages

Il n’y a pas d’offres de thèse en cours

Offres de stage

Formalising Transcendental Syntax

Du 15/03/2019 au 14/09/2019
Durée: 6 mois

Toward graded arrows and graded profunctors

Du 01/04/2019 au 30/09/2019
Durée: 6 mois

Semantics of Dependent Linear Type Systems

Du 01/04/2019 au 30/09/2019
Durée: 6 mois

Formalisation of Scheduled Types in Coq

Du 01/04/2019 au 30/09/2019
Durée: 6 mois