Heyting-valued interpretations for constructive set theory (2006)

by N Gambino
Venue:Ann. Pure Appl. Logic