Gmeta

swMATH10110MaRDI QIDQ22079FDOQ22079

Author name not available (Why is that?)

Cited In (4)

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