How to extract programs from proofs

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

Data
3-giu-2024 - Ora: 14:00 - data e ora da confermare - 6 ore in totale

Construction, realisability and double negation.