Pages that link to "Item:Q2566026"
From MaRDI portal
The following pages link to On a monadic semantics for freshness (Q2566026):
Displayed 5 items.
- A general mathematics of names (Q2373874) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)