Gmeta

swMATH10110MaRDI QIDQ22079FDOQ22079

Author name not available (Why is that?)

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

Cited In (11)

• A formalized general theory of syntax with bindings: extended version
• 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