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

Last revised on May 13, 2021 at 15:16:05. See the history of this page for a list of all contributions to it.