Unbound

swMATH22613MaRDI QIDQ34404

No author found.

Described by source

• Binders unbound

Related Items (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