- Seminars
- How to extract programs from proofs
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
- Data pubblicazione
- May 6, 2024
- Contact person
- Peter Michael Schuster
- Department
- Computer Science