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

https://rt.quasicoherent.io/

Data pubblicazione: 6-mag-2024
Referente: Peter Michael Schuster
Dipartimento: Informatica