AmiCo

swMATH21182MaRDI QIDQ32994FDOQ32994

Author name not available (Why is that?)

Described by source

• Friends with Benefits

Cited In (6)

• Bisimulation and coinduction enhancements: a historical perspective
• Title not available (Why is that?)
• A formalized general theory of syntax with bindings: extended version
• CryptHOL: game-based proofs in higher-order logic
• Elaborating dependent (co)pattern matching: No pattern left behind
• Title not available (Why is that?)

This page was built for software: AmiCo