Quantales

Georg Struth 🌐

December 11, 2018

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

These mathematical components formalise basic properties of quantales, together with some important models, constructions, and concepts, including quantic nuclei and conuclei.

License

BSD License

Topics

Session Quantales

Depends on

Used by

Cite

× 
@article{Quantales-AFP,
  author  = {Georg Struth},
  title   = {Quantales},
  journal = {Archive of Formal Proofs},
  month   = {December},
  year    = {2018},
  note    = {\url{https://isa-afp.org/entries/Quantales.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: