A categorical version of the Brouwer-HeytingKolmogorov interpretation (0)

by E Palmgren
Venue:Mathematical Structures in Computer Science