The following pages link to Linear Realizability (Q3608428):
Displaying 8 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Realizations and LP (Q636276) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- (Q4010415) (← links)
- (Q4215635) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)