Computability Models over Categories and Presheaves.

Iosif Petrakis

Browse the full LFCS paper archive.