Pages that link to "Item:Q2892744"
From MaRDI portal
The following pages link to GMeta: A Generic Formal Metatheory Framework for First-Order Representations (Q2892744):
Displaying 5 items.
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Adding metatheoretic facilities to first-order theories (Q2785674) (← links)
- (Q4992502) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)