Login / Signup

Lawvere - Tierney sheaves in Algebraic Set Theory.

Steven AwodeyNicola GambinoPeter LeFanu LumsdaineMichael A. Warren
Published in: J. Symb. Log. (2009)
Keyphrases