Code supporting "Constructing Initial Algebras Using Inflationary Iteration"
收藏DataCite Commons2024-12-17 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/330134
下载链接
链接失效反馈官方服务：
资源简介：
Formalization of definitions, theorems and proofs from the paper A. M. Pitts and S. C. Steenkamp, Constructing Initial Algebras Using Inflationary Iteration. In K. Kishida (ed), Fourth International Conference on Applied Category Theory (ACT 2021), EPTCS 2012, to appear. using the Agda theorem-proving system
提供机构：
Apollo - University of Cambridge Repository
创建时间：
2021-08-10
