Published February 4, 2025 | Version 1.1
Software Open

Context-Dependent Effects in Guarded Interaction Trees

Authors/Creators

  • 1. ROR icon Aarhus University
  • 2. Univ Lyon, ENS de Lyon, UCBL, CNRS, Inria, LIP, UMR 5668
  • 3. ROR icon University of Groningen

Description

Coq mechanization supplement for Context-Dependent Effects in Guarded Interaction Trees paper.

Files

Files (4.2 GB)

Name Size Download all
md5:e7b6ecd112137c956979db6bdc8d8302
4.2 GB Download
md5:72e71fa7c804748eec95e0d215557fa7
160.7 kB Download