Pages that link to "Item:Q2936809"

The following pages link to A universe of binding and computation (Q2936809):

Displaying 3 items.

• A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
• Structural recursion with locally scoped names (Q3016213) (← links)
• 2-Dimensional Directed Type Theory (Q5739362) (← links)