- 1
David Delahaye
1
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti systemTYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
Communication dans un congrès
hal-01441751v1
|