Pages that link to "Item:Q5019018"

The following pages link to A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018):

Displayed 9 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)
• A framework for substructural type systems (Q6166795) ‎ (← links)
• Variable binding and substitution for (nameless) dummies (Q6181939) ‎ (← links)