Skip to Main content Skip to Navigation
Conference papers

Comprehension and Quotient Structures in the Language of 2-Categories

Complete list of metadatas

https://hal.inria.fr/hal-03103167
Contributor : Paul-André Melliès <>
Submitted on : Thursday, January 7, 2021 - 11:31:54 PM
Last modification on : Friday, January 8, 2021 - 3:36:38 AM

Identifiers

  • HAL Id : hal-03103167, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

13