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
