Library structures.Poset
Library structures.Lattice
Library structures.Completion
Library structures.Category
Library structures.Monad
Library structures.Effects
Library lattices.Downset
Library lattices.Upset
Library lattices.FCD
Library lattices.LatticeProduct
Library lattices.AdjoinBot
Library models.IntSpec
Library models.Coherence
- Preliminaries
- Coherence spaces
- Basic categorical structure
- Simple constructions
- Cartesian structure
- Tensor product
- Sequential constructions
Library examples.CAL
- Preliminaries
- Effect signatures
- Layer implementation
- Layer interfaces
- Layer interfaces and implementations as morphisms
- Data refinement
Library examples.CompCertSem
This page has been generated by coqdoc