I. Moerdijk

Quality and Renewal 2007 : An overall evaluation of research at Uppsala University. Mathematics, Scientific computing, Image Analysis (panel 12)

Karl-Fredrik Berggren, H. Holden, S. Asmussen, 2007 .

Categorical logic and proof theory: realizability for constructive theories

I. Moerdijk, F. de Marchi, 2003 .

Connected locally connected toposes are path-connected

I. Moerdijk, G. C. Wraith, I. Moerdijk, 1986 .

Some topological spaces which are universal for intuitionistic predicate logic

I. Moerdijk, I. Moerdijk, 1982 .