We stand with Ukraine  

Pieter J. W. Hofstra

Affiliations:
  • University of Ottawa, Department of Mathematics and Statistics, ON, Canada


According to our database1, Pieter J. W. Hofstra authored at least 7 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Polymorphic Automorphisms and the Picard Group.
[BibTeX]
[DOI]
Pieter J. W. Hofstra
,
Jason Parker
,
Philip J. Scott
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2018
Isotropy of Algebraic Theories.
[BibTeX]
[DOI]
Pieter J. W. Hofstra
,
Jason Parker
,
Philip J. Scott
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2014
Total Maps of Turing Categories.
[BibTeX]
[DOI]
J. Robin B. Cockett
,
Pieter J. W. Hofstra
,
Pavel Hrubes
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

2013
Combinatorial realizability models of type theory.
[BibTeX]
[DOI]
Pieter J. W. Hofstra
,
Michael A. Warren
Ann. Pure Appl. Log., 2013

Martin-Löf complexes.
[BibTeX]
[DOI]
Steven Awodey
,
Pieter J. W. Hofstra
,
Michael A. Warren
Ann. Pure Appl. Log., 2013

2010
Unitary Theories, Unitary Categories.
[BibTeX]
[DOI]
Pieter J. W. Hofstra
,
J. Robin B. Cockett
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2008
Introduction to Turing categories.
[BibTeX]
[DOI]
J. Robin B. Cockett
,
Pieter J. W. Hofstra
Ann. Pure Appl. Log., 2008


  Loading...