Browse/search for people

Dr Stuart Presnell

Applying Homotopy Type Theory in Logic, Metaphysics, and Philosophy of Physics