LNgen

swMATH10111MaRDI QIDQ22080FDOQ22080

Author name not available (Why is that?)

Cited In (7)

• A formalized general theory of syntax with bindings: extended version
• \(\mathrm{HO}\pi\) in Coq
• Binders unbound
• POPLMark reloaded: mechanizing proofs by logical relations
• Contracts made manifest
• GMeta: a generic formal metatheory framework for first-order representations
• Binding structures as an abstract data type

This page was built for software: LNgen