Report copyright - Proofs and Dialogue : the Ludics viewls.informatik.uni-tuebingen.de/prodi/slides/Lecomte.pdf · 2 ”Axiom” link A? 3 “Cut” link A? @ @ @ cut We define a proof structure as
Please pass captcha verification before submit form
Please pass captcha verification before submit form