| 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
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS