Search - PASTEL - Thèses en ligne de ParisTech Access content directly

Filter your results

1 Résultat
Author: personID (integer) : 872817
Image document

Investigation on the typing of equality in type systems

Vincent Siles
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses pastel-00556578v1