Publication:2927669
From MaRDI portal
zbMath1307.18002MaRDI QIDQ2927669
Publication date: 4 November 2014
Full work available at URL: http://www.emis.de/journals/TAC/volumes/29/20/29-20abs.html
Related Items
Brouwer's fixed-point theorem in real-cohesive homotopy type theory, THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES, Unnamed Item, Unnamed Item, The construction of \(\pi_0\) in Axiomatic Cohesion, Monoid properties as invariants of toposes of monoid actions, On the relation between continuous and combinatorial, Unnamed Item