nLab
Matthijs Vákár

Selected writings

On dependent linear type theory (for quantum computation with classical control) with categorical semantics in indexed monoidal categories:

On side effects in functional programming with dependent type theory:

category: people