The following pages link to Bounded Linear Logic, Revisited (Q5902142):
Displaying 10 items.
- New Curry-Howard terms for full linear logic (Q1390952) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- On linear Brouwerian logics (Q2922494) (← links)
- Matching of bounded set terms in the logic language LDL++ (Q3129496) (← links)
- (Q4222838) (← links)
- (Q4222842) (← links)
- Bounded Linear Logic, Revisited (Q5902142) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)