nLab
Ugo Dal Lago

Selected writings

On linear logic and quantum circuit diagrams:

category: people