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

Filter your results

2 Results
Structure: Internal structure identifier : 90567
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
Image document

Constructive Completeness Proofs and Delimited Control

Danko Ilik
Software Engineering [cs.SE]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses tel-00529021v1