nLab
Samson Abramsky

Samson Abramsky

Selected writings

On quantum logic as the linear logic internal language of symmetric monoidal categories:

On simplicial complexes treated in homotopy type theory:

category: people