Filtrer vos résultats
- 6
- 2
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 6
- 6
- 2
- 2
- 1
- 6
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
6 résultats
|
|
triés par
|
|
Complete Bidirectional Typing for the Calculus of Inductive ConstructionsITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.1-19, ⟨10.4230/LIPIcs.ITP.2021.24⟩
Communication dans un congrès
hal-03139924v2
|
||
|
Bidirectional Typing for the Calculus of Inductive ConstructionsAutre [cs.OH]. Nantes Université, 2022. Français. ⟨NNT : 2022NANU4033⟩
Thèse
tel-03848595v2
|
||
|
Martin-Löf à la Coq2024
Pré-publication, Document de travail
hal-04214008v2
|
||
|
Gradualizing the Calculus of Inductive ConstructionsACM Transactions on Programming Languages and Systems (TOPLAS), 2022, ⟨10.1145/3495528⟩
Article dans une revue
hal-02896776v5
|
||
|
A Reasonably Gradual Type TheoryProceedings of the ACM on Programming Languages, In press
Article dans une revue
hal-03596652v2
|
||
|
Definitional Functoriality for Dependent (Sub)Types2023
Pré-publication, Document de travail
hal-04160858v3
|