Polynomially Bounded Recursive Realizability

Saeed Salehi. Polynomially Bounded Recursive Realizability. Notre Dame Journal of Formal Logic, 46(4):407-417, 2005. [doi]

Abstract

Abstract is missing.