Paul-André Melliès, Nicolas Rolland. Comprehension and Quotient Structures in the Language of 2-Categories.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Jun 2020, Paris, France.
⟨hal-03103167⟩