Search

• < Previous
• 1
• Next >

Full abstraction for nominal general references

Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modelling functional languages with names. These are ordinary, stateful&nbsp;[&hellip;]