Pieter J. W. Hofstra

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 3

Top Topics

Shape From Texture

Probability Theory

Intelligent Design

Top Venues

Ann. Pure Appl. Log.

Publications

Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
Polymorphic Automorphisms and the Picard Group. CoRR (2021)
Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
Polymorphic Automorphisms and the Picard Group. FSCD (2021)
Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
Isotropy of Algebraic Theories. MFPS (2018)
J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes
Total Maps of Turing Categories. MFPS (2014)
Pieter J. W. Hofstra, Michael A. Warren
Combinatorial realizability models of type theory. Ann. Pure Appl. Log. 164 (10) (2013)
Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren
Martin-Löf complexes. Ann. Pure Appl. Log. 164 (10) (2013)
Pieter J. W. Hofstra, J. Robin B. Cockett
Unitary Theories, Unitary Categories. MFPS (2010)
J. Robin B. Cockett, Pieter J. W. Hofstra
Introduction to Turing categories. Ann. Pure Appl. Log. 156 (2-3) (2008)