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

Last revised on August 9, 2022 at 08:32:45. See the history of this page for a list of all contributions to it.