%0 Journal Article
%A S. Awodey
%A H. Forssell
%T Algebraic models of intuitionistic theories of sets and classes
%J Theory and applications of categories
%D 2005
%P 147-163
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2005_15_a4/
%G en
%F TAC_2005_15_a4