Abstract

The notion of Relative Realizability was dened in see also
The idea is that instead of doing realizability with one partial combinatory algebra A one uses an inclusion of partial combinatory algebras A A such that there are combinators k s A which also serve
... read more