Unbound

swMATH22613MaRDI QIDQ34404FDOQ34404

Author name not available (Why is that?)

Described by source

• Binders unbound

Cited In (3)

• POPLMark reloaded: Mechanizing proofs by logical relations
• General bindings and alpha-equivalence in Nominal Isabelle
• Visual Theorem Proving with the Incredible Proof Machine

This page was built for software: Unbound