Project Page Index Table of Contents
  • Monadic Combinatory Algebras
    • Monads
    • MCAs
    • SK Definition
    • M-Modalities
    • Separators
    • Evidenced Frames
    • Induced Evidenced Frame
    • Examples
      • Axioms
      • Abstract termination predicates
      • PCA
      • RCA
      • SCA
      • CPS
      • ParCA
Generated by coqdoc and improved with CoqdocJS