CAPE Lecture

2017-06-30 18:30:00 +0900 • Yoriyuki Yamagata

At 112-th CAPE Lecture, I will give a talk on a proof theoretical semantics of classical logic and its application to a strong normalization proof.

Slides

Handout