I have fixed the link for Types, Homotopy Theory and Verification
(Apparently the Hausdorff Institute links eventually get a “past-programs
“-string inserted into their URLs, in what must be an attempt to hide activity and reduce visibility.)
[ removed ]
]]>added pointer to
I have taken the liberty of adding pointer to
added pointer to today’s
I have added publication data to
(no DOI available?)
]]>Added it here too:
added pointer to
Added in my article
copied over the homotopy-theoretic references from modal type theory to here.
]]>