The following pages link to Adriana Compagnoni (Q598198):
Displayed 20 items.
- (Q236769) (redirect page) (← links)
- Higher-order subtyping and its decidability (Q598199) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Heap-bounded assembly language (Q1826469) (← links)
- (Q2848666) (← links)
- (Q2851706) (← links)
- (Q3837264) (← links)
- (Q4474829) (← links)
- (Q4945242) (← links)
- (Q4964688) (← links)
- (Q4994973) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311159) (← links)
- Trustworthy Global Computing (Q5394796) (← links)
- Theoretical Computer Science (Q5395086) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
- Anti-symmetry of higher-order subtyping and equality by subtyping (Q5466793) (← links)
- Boxed ambients with communication interfaces (Q5756976) (← links)
- Subtyping dependent types (Q5958760) (← links)