An introduction to deep inference
Author: Willem Heijltjes
Paper Information
| Title: | An introduction to deep inference |
| Authors: | Willem Heijltjes |
| Proceedings: | TYDI-0 Abstracts |
| Editor: | Lutz Straßburger |
| Keywords: | deep inference, proof theory, lambda-calculus, classical logic |
| Abstract: | ABSTRACT. This will be a tutorial on deep inference for general computer scientists. It will connect with the simply-typed lambda-calculus, and with classical logic. No further background knowledge is expected. |
| Pages: | 1 |
| Talk: | Jul 07 09:00 (Session 23N: switch) |
| Paper: |  |