How to extract programs from proofs

  1. Home
  2. Teaching
  3. Seminars
Speaker:  Dr. Ingo Blechschmidt - Universität Augsburg (Germania)
  Monday, June 3, 2024 at 2:00 PM - data e ora da confermare - 6 ore in totale

Construction, realisability and double negation.
Programme Director
Peter Michael Schuster
External reference
Publication date
May 6, 2024

Studying

Share