Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
copied over the homotopy-theoretic references from modal type theory to here.
added pointer to
Added it here too:
I have added publication data to
(no DOI available?)
added pointer to today’s
I have taken the liberty of adding pointer to
added pointer to
[ removed ]
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.)
1 to 10 of 10