Introduction to Turing categories. - J. Robin B. Cockett; Pieter J. W. Hofstra (Ann. Pure Appl. Log., 2008)

Unitary Theories, Unitary Categories. - Pieter J. W. Hofstra; J. Robin B. Cockett (MFPS, 2010)

Martin-Löf complexes. - Steven Awodey; Pieter J. W. Hofstra; Michael A. Warren (Ann. Pure Appl. Log., 2013)

Combinatorial realizability models of type theory. - Pieter J. W. Hofstra; Michael A. Warren (Ann. Pure Appl. Log., 2013)

Total Maps of Turing Categories. - J. Robin B. Cockett; Pieter J. W. Hofstra; Pavel Hrubes (MFPS, 2014)

Isotropy of Algebraic Theories. - Pieter J. W. Hofstra; Jason Parker; Philip J. Scott (MFPS, 2018)

Polymorphic Automorphisms and the Picard Group. - Pieter J. W. Hofstra; Jason Parker; Philip J. Scott (FSCD, 2021)