Awesome
A good proof is one that makes us wiser. -- Yuri Manin
The DOT Calculus and its Variations
Formalizations of the Dependent Object Types (DOT) calculus, from the bottom up, with soundness proofs at each step.
A good proof is one that makes us wiser. -- Yuri Manin
Formalizations of the Dependent Object Types (DOT) calculus, from the bottom up, with soundness proofs at each step.