David Jaz Myers is a graduate student at Johns Hopkins.
On logical topology in the context of cohesive toposes, modal type theory and cohesive homotopy type theory:
On modal type theory and cohesive homotopy type theory
Last revised on February 12, 2020 at 00:02:21. See the history of this page for a list of all contributions to it.