News for hackers. Stuff that matters.

A comment on A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom. Parent comment

Re:A self-contained, brief and complete formulation of Voevo... by SolarNet on Thursday March 08, 2018 @06:09AM (#16543650)
Nothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.
[ Parent | on HN ]

There are no comments on this comment yet.