Unbound

MaRDI QIDQ34404swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=2034773.2034818

Described by source

• Binders unbound

Cited in

(10)

• POPLMark reloaded: mechanizing proofs by logical relations
• General bindings and alpha-equivalence in Nominal Isabelle
• LNgen
• RepLib
• MiniAgda
• FreshOCaml
• HNT
• Psi-calculi
• Logitext
• Visual theorem proving with the Incredible Proof Machine

This page was built for software: Unbound