Heyting-valued interpretations for Constructive Set Theory (2006)

by N Gambino
Venue:Ann. Pure Appl. Logic