The following pages link to The Typed Böhm Theorem (Q4916173):
Displaying 4 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)