Search
Talk

Type theory, programs-as-proofs and computer verification

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

Abstract

no abstract available

Katharina Matschke

MPI for Mathematics in the Sciences Contact via Mail