Skip to main content

Traced Monoidal Categories and Hoare Logic

Mathiesen & Oliva ( Queen Mary, London )

Share this: