Recursion over realizability structures (1991)

by R Amadio
Venue:Information and Computation