A Relationship between equilogical spaces and type two eectivity (2001)

by A Bauer
Venue:Proceedings of MFPS XVII. Electronic Notes in Theoretical Computer Science