Browsing by Author Schroeder-Heister, Peter

Results 1 to 1 of 1
Issue DateTitleAuthor(s)TypeAccess
2006Introduction: Proof-theoretic SemanticsKahle, Reinhard ; Schroeder-Heister, Peter articleopenAccess