Syntax and Semantics of the Logic Lλωω. - Carsten Butz (Notre Dame J. Formal Log., 1997)

Classifying Toposes for First-Order Theories. - Carsten Butz; Peter T. Johnstone (Ann. Pure Appl. Log., 1998)

A topological completeness theorem. - Carsten Butz (Arch. Math. Log., 1999)

An Elementary Definability Theorem for First Order Logic. - Carsten Butz; Ieke Moerdijk (J. Symb. Log., 1999)

Preface. - Carsten Butz; Ulrich Kohlenbach; Søren Riis; Glynn Winskel (Ann. Pure Appl. Log., 2000)

Topological Completeness for Higher-Order Logic. - Steven Awodey; Carsten Butz (J. Symb. Log., 2000)

Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. - Hans-Wolfgang Loidl; Philip W. Trinder; Carsten Butz (Parallel Process. Lett., 2001)

Saturated models of intuitionistic theories. - Carsten Butz (Ann. Pure Appl. Log., 2004)

Relating First-order Set Theories and Elementary Toposes. - Steven Awodey; Carsten Butz; Alex Simpson; Thomas Streicher (Bull. Symb. Log., 2007)

Relating first-order set theories, toposes and categories of classes. - Steven Awodey; Carsten Butz; Alex Simpson; Thomas Streicher (Ann. Pure Appl. Log., 2014)