A kappa-Denotational Semantics for Map Theory in ZFC + SI.

Published in: Theor. Comput. Sci. (1997)

Keyphrases