Works matching IS 1245530X AND DT 2023 AND VI 64 AND IP 1
Results: 3
A LOGICAL ANALYSIS OF FIXPOINT THEOREMS.
- Published in:
- Cahiers de Topologie et Geometrie Differentielle Categoriques, 2023, v. 64, n. 1, p. 97
- By:
- Publication type:
- Article
THE DERIVATOR OF SETOIDS.
- Published in:
- Cahiers de Topologie et Geometrie Differentielle Categoriques, 2023, v. 64, n. 1, p. 29
- By:
- Publication type:
- Article
LIMITS OF TOPOLOGICAL SPACES AS ENRICHED CATEGORIES.
- Published in:
- Cahiers de Topologie et Geometrie Differentielle Categoriques, 2023, v. 64, n. 1, p. 3
- By:
- Publication type:
- Article