Skip to main content Accessibility help
×
Home

A categorical quantum logic

  • SAMSON ABRAMSKY (a1) and ROSS DUNCAN (a1)

Abstract

We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes.

Copyright

Related content

Powered by UNSILO

A categorical quantum logic

  • SAMSON ABRAMSKY (a1) and ROSS DUNCAN (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.