A categorical quantum logic

• Autores: Samson Abramsky, Ross Duncan
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 16, Nº 3, 2006, págs. 469-489
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.