Pages that link to "Item:Q3090876"
From MaRDI portal
The following pages link to Linearly-Used State in Models of Call-by-Value (Q3090876):
Displayed 4 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)