Kosta Dosen

• Proof-theoretical coherence