D

dot-public

Type safety proofs for DOT calculi.