The following pages link to (Q4518880):
Displayed 5 items.
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- Linear types and non-size-increasing polynomial time computation. (Q1401943) (← links)
- Distributed call-tracking for security (Q1869981) (← links)
- (Q5015373) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)