Functors

Bits Follow Types

Codecs are not ad-hoc bit formats. They are constructions on the algebraic structure of types.

Algebraic Cipher Types: Confidentiality Trade-offs in Type Constructors over Trapdoor Computing