Search

Talk

Type theory, programs-as-proofs and computer verification

  • Tobias Fritz (MPI MiS, Leipzig)
A3 02 (Seminar room)