Recent and upcoming talks by Monika Seisenberger

Monika Seisenberger: Programs from constructive and classical proofs

Tuesday, February 28, 2017, 15.00 Howard House 4th Floor Seminar Room Speaker: Monika Seisenberger (Swansea University) Title: Programs from constructive and classical proofs Abstract: Program extraction from formal proofs is a powerful proof theoretic technique based on realisability to obtain provably correct programs. continue reading…