Code supporting "Constructing Initial Algebras Using Inflationary Iteration"
收藏官方服务：
资源简介：
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
创建时间：
2021-08-10
