TY  - JOUR

T1  - TOPOSES AS HOMOTOPY GROUPOIDS

JO  - ADV MATH

PY  - 1990/03/01

AU  - JOYAL A

AU  - MOERDIJK I

ED  - 

VL  - 80

IS  - 1

SP  - 22

EP  - 38

Y2  - 2025/01/13

ER  -