#

dot-calculus

Here are 2 public repositories matching this topic...

Blaisorblade / dot-iris

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

paper coq type-theory coq-formalization coq-formalizations soundness dot-calculus

Updated Nov 6, 2024
HTML

dot-iris / dot-iris.github.io

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

coq type-theory coq-formalization dot-calculus

Updated Nov 6, 2024
HTML

Improve this page

Add a description, image, and links to the dot-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dot-calculus topic, visit your repo's landing page and select "manage topics."