Proof Society 2025

Speaker

Marcel Ertel

University Tübingen

Talks at this conference:

 Thu, 14:40 Non-deterministic operations in applicative theories
Contributed

 Overview  Program