Comprehension and Quotient Structures in the Language of 2-Categories - Archive ouverte HAL Access content directly
Conference Papers Year :
Not file

Dates and versions

hal-03103167 , version 1 (07-01-2021)

Identifiers

  • HAL Id : hal-03103167 , version 1

Cite

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⟩
23 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More