The following pages link to Weak typed Böhm theorem on IMLL (Q866556):
Displayed 5 items.
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- A type-assignment of linear erasure and duplication (Q2193281) (← links)
- A coding theoretic study of MLL proof nets (Q2888855) (← links)
- (Q4611381) (← links)
- (Q5013825) (← links)