Pieter J. W. Hofstra

Available identifiers

Publication	Date of Publication	Type
Polymorphic Automorphisms and the Picard Group.	2023-06-23	Paper
Pseudogroups and their torsors	2022-05-31	Paper
Inner autoequivalences in general and those of monoidal categories in particular	2022-05-07	Paper
Isotropy of algebraic theories	2022-05-03	Paper
Aspects of Categorical Recursion Theory	2021-12-08	Paper
Toposes for semigroups: an invitation	2021-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5006462	2021-08-16	Paper
Locally anisotropic toposes	2018-02-09	Paper
Unitary Theories, Unitary Categories	2016-07-08	Paper
Total maps of Turing categories	2016-05-13	Paper
Martin-Löf complexes	2013-12-11	Paper
Combinatorial realizability models of type theory	2013-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q2847339	2013-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2919772	2012-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q2919773	2012-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3093861	2011-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q5200274	2011-08-01	Paper
Categorical simulations	2010-04-22	Paper
Introduction to Turing categories	2009-01-28	Paper
Iterated realizability as a comma construction	2008-03-13	Paper
All realizability is relative	2007-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3411959	2006-11-30	Paper
Relative completions	2004-08-19	Paper
Ordered partial combinatory algebras	2003-10-13	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pieter J. W. Hofstra