How to extract programs from proofs

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

Date
Jun 11, 2024 - Time:

Construction, realisability and double negation.

For more about content, the timetable and contact details see

https://rt.quasicoherent.io/

Data pubblicazione: May 6, 2024
Contact person: Peter Michael Schuster
Department: Computer Science