Agda code accompanying "Typal Heterogeneous Equality Types" (updated)
收藏DataCite Commons2020-08-01 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/303490
下载链接
链接失效反馈官方服务：
资源简介：
Updated Agda code (source code and html) for the paper "Typal Heterogeneous Equality Types" in ACM Trans. Comput. Logic 21, 3, Article 25 (March 2020). This dataset replaces https://doi.org/10.17863/CAM.47902
提供机构：
Apollo - University of Cambridge Repository
创建时间：
2020-03-13
