Pages that link to "Item:Q3317040"
From MaRDI portal
The following pages link to Mathematical Applications of Category Theory (Q3317040):
Displaying 4 items.
- Logical foundations for programming semantics (Q685420) (← links)
- Category theory. Applications to algebra, logic and topology. Proceedings of the International Conference held at Gummersbach, July 6--10, 1981 (Q1165221) (← links)
- Category theory, homology theory and their applications I. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24 -- July 19, 1968, Volume one (Q2537949) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)