Thibaut Benjamin. ω-categories as models of a type theory. Mathematical Structures in Computer Science, 33(8):744-780, 2023. [doi]
@article{Benjamin23,
title = {ω-categories as models of a type theory},
author = {Thibaut Benjamin},
year = {2023},
doi = {10.1017/s0960129522000172},
url = {https://doi.org/10.1017/s0960129522000172},
researchr = {https://researchr.org/publication/Benjamin23},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {33},
number = {8},
pages = {744-780},
}