Unbound

swMATH22613MaRDI QIDQ34404FDOQ34404

Author name not available (Why is that?)

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

Described by source

• Binders unbound

Cited In (10)

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

This page was built for software: Unbound