Continuations and Completeness in Proof-theoretic Semantics

Tao Gu, David Pym, Eike Ritter +1

This is a short paper about the relationship between logic and computation. More specifically, it is about a relationship between the completeness proof for intuitionistic proposit…