The following pages link to (Q4650583):
Displaying 7 items.
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- Thick Subtrees, Games and Experiments (Q3637187) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
