What Types Should Not Be†

DOI10.1093/PHILMAT/NKZ014zbMath1451.03009OpenAlexW2967397440MaRDI QIDQ5124673

Bruno Bentzen

Publication date: 30 September 2020

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/18992/1/bentzen2020types.pdf

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)

Related Items (3)

Representation and Spacetime: The Hole Argument Revisited ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ Substitution and Propositional Proof Complexity

This page was built for publication: What Types Should Not Be†