Talk
Type theory, programs-as-proofs and computer verification
- Tobias Fritz (MPI MiS, Leipzig)
Abstract
no abstract available
Katharina Matschke
MPI for Mathematics in the Sciences
Contact via Mail