The following pages link to Game Semantics for Access Control (Q2805155):
Displaying 5 items.
- Game semantics for dependent types (Q1641014) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Games for Dependent Types (Q3449463) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Payoffs, Intensionality and Abstraction in Games (Q4922074) (← links)
