Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A framework for defining computational higher-order logicsComputer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩
Theses
tel-01235303v4
|