dot-calculus

There are 1 repository under dot-calculus topic.

• Blaisorblade / dot-iris

  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

  coqcoq-formalizationcoq-formalizationsdot-calculuspapersoundnesstype-theory
  Language:HTML 31

• dot-iris / dot-iris.github.io

  GitHub Pages website for https://github.com/Blaisorblade/dot-iris.

  coq-formalizationcoqdot-calculustype-theory
  Language:HTML 1