## 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 |