Filter your results
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
Investigation on the typing of equality in type systemsLogic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses
pastel-00556578v1
|
||
|
Constructive Completeness Proofs and Delimited ControlSoftware Engineering [cs.SE]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses
tel-00529021v1
|