LNgen

swMATH10111MaRDI QIDQ22080FDOQ22080

Author name not available (Why is that?)

Cited In (7)

• Binding Structures as an Abstract Data Type
• GMeta: A Generic Formal Metatheory Framework for First-Order Representations
• A formalized general theory of syntax with bindings: extended version
• POPLMark reloaded: Mechanizing proofs by logical relations
• \(\mathrm{HO}\pi\) in Coq
• Binders unbound
• Contracts made manifest

This page was built for software: LNgen