nForum - Discussion Feed (Mitchell Riley)2024-03-28T17:34:40+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "Mitchell Riley" (92400)https://nforum.ncatlab.org/discussion/12900/?Focus=92400#Comment_924002021-05-13T17:53:01+00:002024-03-28T17:34:40+00:00Urshttps://nforum.ncatlab.org/account/4/
brief category:people-entry for hyperlinking references at dependent linear type theory and elsewhere
v1, current