nLab
Martin Lundfall

Selected writings

On dependent linear type theory:

category: people