- Seminars
- How to extract programs from proofs
How to extract programs from proofs
Speaker
Dr. Ingo Blechschmidt - Universität Augsburg (Germania)
Date
Jun 3, 2024 - Time:
14:00
- data e ora da confermare - 6 ore in totale
Construction, realisability and double negation.
- Data pubblicazione
- May 6, 2024
- Contact person
- Peter Michael Schuster
- Department
- Computer Science