David Jaz Myers is a graduate student at Johns Hopkins.
David Jaz Myers, Logical Topology and Axiomatic Cohesion, talk at Geometry in Modal Homotopy Type Theory 2019 (pdf slides)
(on logical topology in the context of cohesive toposes, modal type theory and cohesive homotopy type theory)
Last revised on March 16, 2019 at 09:54:06. See the history of this page for a list of all contributions to it.