FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: