An abstract notion of realizability for which intuitionistic predicate calculus is complete (1970)

by H Lauchli
Venue:Intuitionism and Proof Theory, Studies in Logic and the Foundations of Mathematics