Pages that link to "Item:Q3016213"
From MaRDI portal
The following pages link to Structural recursion with locally scoped names (Q3016213):
Displaying 5 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Propositions as sessions (Q2875234) (← links)
- Relating two semantics of locally scoped names (Q2915698) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)