Selected writings
On combining homotopy type theory with opetopic type theory:
On homotopy dependent linear type theory of dependent stable homotopy types with categorical semantics in parametrized spectra:
Last revised on May 13, 2021 at 13:53:55. See the history of this page for a list of all contributions to it.