The topological μ-calculus
Bibliographic details
- Authors
- David Fernández-Duque
- Publication year
- Publication type
- Abstrakt
- Periodical
- Topology, Algebra and Categories in Logic. Book of Abstracts
- Bibliographic citation
- FERNÁNDEZ-DUQUE, David. The topological μ-calculus. In: Topology, Algebra and Categories in Logic. Book of Abstracts. Coimbra: University of Coimbra, 2022, S. 3-4. Dostupné z: https://www.mat.uc.pt/~tacl2022/#inviteds
- ID
- 560824
Abstract
O0