Pages that link to "Item:Q5019018"
From MaRDI portal
The following pages link to A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018):
Displaying 7 items.
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- A well-known representation of monoids and its application to the function ‘vector reverse’ (Q5101924) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
