Sheaves as Oracle Computations (Invited Talk).

Danel Ahman, Andrej Bauer

Browse the full FSCD paper archive.