Full abstraction * abstract-machine Compositional * black-box Game semantics.
34
-
date post
22-Dec-2015 -
Category
Documents
-
view
230 -
download
1
Transcript of Full abstraction * abstract-machine Compositional * black-box Game semantics.
[[Γ|
all plays:all sequences ofalternating observable moves that caNbe made between M (played by ‘P’)and any legal context (played by ‘O’)
–M:τ]]