nLab
Mitchell Riley

Selected writings

Selected writings

On adjoint logic:

On lenses (in computer science):

On homotopy dependent linear type theory of dependent stable homotopy types with categorical semantics in parametrized spectra:

category: people

Created on May 13, 2021 at 13:52:58. See the history of this page for a list of all contributions to it.