"Recursion over Realizability Structures"

Roberto M. Amadio (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics