nLab
Martin Lundfall

Selected writings

Selected writings

On dependent linear type theory:

category: people

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