Skip to content

Effective Fixed Point Theorem over a Non-computably Separable Metric Space.

Izumi Takeuti

VenueCCCA
Year2000
ProceedingsCCA

Browse the full CCA paper archive.