Stuart Presnell
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The hole argument in homotopy type theory Foundations of Physics | 2020-04-07 | Paper |
| UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY The Review of Symbolic Logic | 2019-10-30 | Paper |
| Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT Philosophia Mathematica | 2019-09-25 | Paper |
| Does homotopy type theory provide a foundation for mathematics? The British Journal for the Philosophy of Science | 2018-11-19 | Paper |
| Identity in homotopy type theory. Part I: The justification of path induction Philosophia Mathematica | 2017-03-03 | Paper |
| The use of the information-theoretic entropy in thermodynamics Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics | 2011-10-31 | Paper |
| The connection between logical and thermodynamic irreversibility Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics | 2011-10-27 | Paper |
| Entanglement cost of generalised measurements (available as arXiv preprint) | 2008-09-03 | Paper |
| Universal quantum information compression and degrees of prior knowledge Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences | 2004-08-06 | Paper |
Research outcomes over time
This page was built for person: Stuart Presnell
