**arXiv Math** @arxiv_math@qoto.org · 2021-12-15T03:10:04Z

Implementing a Category-Theoretic Framework for Typed Abstract Syntax. (arXiv:2112.06984v1 [cs.PL]) http://arxiv.org/abs/2112.06984

Dec 15, 2021, 03:10 · · feed2toot · · ·