nForum - Discussion Feed (Peng Fu)2024-03-28T11:48:41+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "Peng Fu" (89732)https://nforum.ncatlab.org/discussion/12312/?Focus=89732#Comment_897322021-02-16T05:34:00+00:002024-03-28T11:48:41+00:00Urshttps://nforum.ncatlab.org/account/4/
brief category:people-entry for hyperlinking references at quantum programming and dependent linear type theory
v1, current