How to extract programs from proofs

Speaker: Dr. Ingo Blechschmidt - Universität Augsburg (Germania)

Tuesday, June 11, 2024

Construction, realisability and double negation.

For more about content, the timetable and contact details see

https://rt.quasicoherent.io/

Programme Director: Peter Michael Schuster
External reference
Publication date: May 6, 2024