Pages that link to "Item:Q2566026"
From MaRDI portal
The following pages link to On a monadic semantics for freshness (Q2566026):
Displaying 14 items.
- A general mathematics of names (Q2373874) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Proof-Relevant Logical Relations for Name Generation (Q4637685) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)
- Sequentiality and the CPS Semantics of Fresh Names (Q5262939) (← links)
- a-Logic With Arrows (Q5403474) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
