Proof Society 2025

Speaker

Leonardo Ceragioli

University of Milan

Talks at this conference:

 Thu, 11:10 A survey of two strands in proof-theoretic semantics
Contributed

 Overview  Program