Login / Signup

The real-algebraic structure of Scott's model of intuitionistic analysis.

Philip Scowcroft
Published in: Ann. Pure Appl. Log. (1984)
Keyphrases