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