Realizability in classical logic

By Jean-Louis Krivine. 2009

135 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/326ad855833051be9ee733f806ceda6e043dadee