Martin E. Bidlingmaier
Orcid: 0000-0003-2238-8731
According to our database1,
Martin E. Bidlingmaier
authored at least 4 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
0
1
2
3
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2021
Math. Struct. Comput. Sci., 2021
An interpretation of dependent type theory in a model category of locally cartesian closed categories.
Math. Struct. Comput. Sci., 2021