- Seminari
- How to extract programs from proofs
How to extract programs from proofs
Relatore
Dr. Ingo Blechschmidt - Universität Augsburg (Germania)
Data
11-giu-2024 - Ora:
Construction, realisability and double negation.
For more about content, the timetable and contact details see
- Data pubblicazione
- 6-mag-2024
- Referente
- Peter Michael Schuster
- Dipartimento
- Informatica