Communication Dans Un Congrès
Année : 2020
Paul-André Melliès : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03103167
Soumis le : jeudi 7 janvier 2021-23:31:54
Dernière modification le : lundi 8 avril 2024-14:24:41
Dates et versions
Identifiants
- HAL Id : hal-03103167 , version 1
Citer
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⟩
Collections
31
Consultations
0
Téléchargements