| Original language | English |
|---|---|
| Type | Dale Fest! 60th. Seminar in honour of the 60th birthday of Dale Miller, Paris, November 2016 |
| Media of output | Web |
| Publication status | Unpublished - 2016 |
Keywords
- cut-rule, subfromula, deep inference, contraction, co-contraction, sharing, normalisation