Software Design and Intrinsic Identity
I muse about the hopeless prospect of a single intrinsic conceptual decomposition of a problem domain in software engineering, and relate this to the idea of intrinsic identity we discussed recently for Relational Type Theory.
Iowa Type Theory Commute
en-usJanuary 21, 2021