The following pages link to Definability and Full Abstraction (Q2864154):
Displaying 8 items.
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Some Programming Languages Suggested by Game Models (Extended Abstract) (Q2805154) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- (Q5079748) (← links)
- Normal forms, linearity, and prime algebraicity over nonflat domains (Q5109211) (← links)
- Observable interface behaviour and inheritance (Q5741571) (← links)
- On the reification of semantic linearity (Q5741580) (← links)
