Quantales

Georg Struth 🌐

December 11, 2018

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: