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

Filter your results

1 Résultat
authIdHal_s : ali-assaf
Image document

A framework for defining computational higher-order logics

Ali Assaf
Computer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩
Theses tel-01235303v4