Login / Signup

A Relationship between Equilogical Spaces and Type Two Effectivity.

Andrej Bauer
Published in: Math. Log. Q. (2002)
Keyphrases