Pages that link to "Item:Q2392482"
From MaRDI portal
The following pages link to A canonical locally named representation of binding (Q2392482):
Displayed 11 items.
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Term-generic logic (Q2339466) (← links)
- Mechanizing metatheory without typing contexts (Q2352491) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- HOCore in Coq (Q2945640) (← links)
- A unified treatment of syntax with binders (Q3165528) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- Romeo: A system for more flexible binding-safe programming (Q5371971) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)