Transformer Semantics
From MaRDI portal
- A recipe for state-and-effect triangles
- Abstraction, Refinement and Proof for Probabilistic Systems
- Algebra of monotonic Boolean transformers
- Automated Reasoning in Higher-Order Regular Algebra
- Building program construction and verification tools from algebraic principles
- Convolution algebras: relational convolution, generalised modalities and incidence algebras
- From types to sets by local type definitions in higher-order logic
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Internal axioms for domain semirings
- Minimally generated Boolean algebras
- Quantales, observational logic and process semantics
- Refinement Calculus
- Taming multirelations
This page was built for software: Transformer Semantics
