Pages that link to "Item:Q2936809"
From MaRDI portal
The following pages link to A universe of binding and computation (Q2936809):
Displaying 5 items.
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Structural recursion with locally scoped names (Q3016213) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)