TY  - JOUR

T1  - A COMPLETENESS THEOREM FOR OPEN MAPS

JO  - ANN PURE APPL LOGIC

PY  - 1994/11/18

AU  - JOYAL A

AU  - MOERDIJK I

ED  - 

VL  - 70

IS  - 1

SP  - 51

EP  - 86

Y2  - 2024/12/22

ER  -