Gmeta

MaRDI QIDQ22079swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-28869-2_22

Cited in

(12)

• A formalized general theory of syntax with bindings: extended version
• Ott
• LNgen
• PoplMark
• MiniAgda
• Autosubst
• FreshOCaml
• Unbound
• Psi-calculi
• Automatically Generated Infrastructure for De Bruijn Syntaxes
• POPLMark reloaded: mechanizing proofs by logical relations
• GMeta: a generic formal metatheory framework for first-order representations

This page was built for software: Gmeta