Stuart Presnell

Available identifiers

zbMath Open presnell.stuartMaRDI QIDQ643126

List of research outcomes

Publication	Date of Publication	Type
The hole argument in homotopy type theory	2020-04-07	Paper
UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY	2019-10-30	Paper
Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT	2019-09-25	Paper
Does homotopy type theory provide a foundation for mathematics?	2018-11-19	Paper
Identity in homotopy type theory. Part I: The justification of path induction	2017-03-03	Paper
The use of the information-theoretic entropy in thermodynamics	2011-10-31	Paper
The connection between logical and thermodynamic irreversibility	2011-10-27	Paper
Entanglement cost of generalised measurements	2008-09-03	Paper
Universal quantum information compression and degrees of prior knowledge	2004-08-06	Paper

Research outcomes over time

This page was built for person: Stuart Presnell