1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.