1 paper · 1 filter
Gilda Ferreira, Paulo Firmino
Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitio…