Login / Signup

Sheaf models for choice sequences.

Gerrit van Der HoevenIeke Moerdijk
Published in: Ann. Pure Appl. Log. (1984)
Keyphrases