Aspects of predicative algebraic set theory II: Realizability. Accepted for publication in Theoretical Computer Science (2009)

by Benno Van Den Berg , Ieke Moerdijk
Venue:In Logic Colloquim 2006, Lecture Notes in Logic
Citations:7 - 1 self