Categorical Models of Syntactic Control of Intereference Revisited, Revisited
2007 ◽
Vol 10
◽
pp. 176-206
◽
Keyword(s):
AbstractThe question of what categorical structure is required to give semantics to O‘Hearn et al.'s type system Syntactic Control of Interference Revisited (SCIR) is considered. The previously proposed notion of bireflective model is rejected as being too restrictive to accommodate important concrete models based on game semantics and object spaces; furthermore it is argued that the existing proof-sketch of the important property of coherence for these models is incorrect. A new, more general notion of model is proposed and the coherence property proved.
2017 ◽
Vol 28
(10)
◽
pp. 1639-1694
Keyword(s):
1989 ◽
Vol 47
◽
pp. 786-787
Keyword(s):
2020 ◽
Vol 17
(1)
◽
pp. 79-89
Keyword(s):