AmiCo
From MaRDI portal
Software:32994
No author found.
Related Items (6)
CryptHOL: game-based proofs in higher-order logic ⋮ Elaborating dependent (co)pattern matching: No pattern left behind ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Bisimulation and coinduction enhancements: a historical perspective
This page was built for software: AmiCo
