The following pages link to AURA (Q5178753):
Displaying 8 items.
- AURA (Q23424) (← links)
- The locally nameless representation (Q1945914) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- Provenance as dependency analysis (Q3103615) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Programming Languages and Systems (Q5316561) (← links)
- (Q6060675) (← links)