Skip to Main content Skip to Navigation
New interface


...
tel-02139060v1  Theses
Athanasios Tsouanas. On the Semantics of Disjunctive Logic Programs
Logic in Computer Science [cs.LO]. Ecole Nationale Supérieure de Lyon, 2014. English. ⟨NNT : ⟩
...
tel-03441023v2  Theses
Kenji Maillard. Principles of program verification for arbitrary monadic effects
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE081⟩
...
tel-00140652v1  Theses
Samuel Hym. Typage et contrôle de la mobilité
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨NNT : ⟩
...
tel-03041550v1  Theses
Raphaëlle Crubillé. Behavioural distances for probabilistic higher-order programs
Programming Languages [cs.PL]. Université Sorbonne Paris Cité, 2019. English. ⟨NNT : 2019USPCC084⟩
...
tel-00425390v1  Theses
David Cachera. Validation formelle des langages à parallélisme de données
Génie logiciel [cs.SE]. École normale supérieure de Lyon - ENS Lyon, 1998. Français. ⟨NNT : ⟩