How to extract programs from proofs

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

martedì 11 giugno 2024

Construction, realisability and double negation.

For more about content, the timetable and contact details see

https://rt.quasicoherent.io/

Referente: Peter Michael Schuster
Referente esterno
Data pubblicazione: 6 maggio 2024