Tags:deep inference, lambda-calculus and proof theory
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.