Proof-functional connectives and realizability

Franco Barbanera, Simone Martini. Proof-functional connectives and realizability. Arch. Math. Log., 33(3):189-211, 1994. [doi]

Abstract

Abstract is missing.