nForum - Discussion Feed (Andreas Abel)2024-03-28T21:26:16+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "Andreas Abel" (105745)https://nforum.ncatlab.org/discussion/12354/?Focus=105745#Comment_1057452022-12-22T13:21:59+00:002024-03-28T21:26:16+00:00Urshttps://nforum.ncatlab.org/account/4/
added missing category:people-tag and pointer to
Andrea Vezzosi, Anders Mörtberg, Andreas Abel, Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types, ...
added missing category:people-tag and pointer to
Andrea Vezzosi, Anders Mörtberg, Andreas Abel, Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types, Proceedings of the ACM on Programming Languages 3 ICFP 87 (2019) 1–29 [doi:10.1145/3341691, pdf]
]]>
nLab edit announcer comments on "Andreas Abel" (89934)https://nforum.ncatlab.org/discussion/12354/?Focus=89934#Comment_899342021-02-22T18:15:49+00:002024-03-28T21:26:16+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Create user page for Andreas Abel
Anonymous
v1, current