Show the philosophical advantages of adopting Ho TT? for physics.
Do we need full type theoretic account or is general modern way of dealing with things up to isomorphism OK?
Created on November 9, 2013 at 05:00:06. See the history of this page for a list of all contributions to it.