Loading... 2 0 20 0 false
 
Name
Kahle, Reinhard
 
Loading... 3 0 20 0 false

Publications



Refined By:
Author:  Schroeder-Heister, Peter

Results 1-1 of 1 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)TypeAccess
12006Introduction: Proof-theoretic SemanticsKahle, Reinhard ; Schroeder-Heister, Peter articleopenAccess