Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Théo Laurent
Institution:
Université de Montpellier
Observed institutions:
Institut national de recherche en sciences et technologies du numérique,
Université de Montpellier
ORCID:
0009-0008-8945-3343
Observed ORCID:
0009-0008-8945-3343
OpenAlex ID:
A5092848121
Definitional Functoriality for Dependent (Sub)Types
2024
·
Théo Laurent
, Meven Lennon-Bertrand
, et al.
·
Lecture notes in computer science
·
10
PDF
Structural Subtyping in MLTT
2025
·
Théo Laurent
·
theses.fr (ABES)
PDF
Artifact Description: Definitional Functoriality for Dependent (Sub)Types
2024
·
Théo Laurent
, Meven Lennon-Bertrand
, et al.
·
Lecture notes in computer science
PDF
Show more works
View as search
Works count:
3
Citation count:
10
H-index:
1
I10-index:
1
Year
Topic
Type
