共感应

伊莎贝尔共感性:本文收集通用的共感数据类型和集合的形式化。目前,它包含共感自然数,共感表,即懒惰列表或流,无限流,共感终止列表,共感恢复,共感表操作的库,以及作为一个应用的共感性列表的K ONIG引理的版本。最初的理论是由保尔森和文策尔促成的。欢迎扩展和其他共同感兴趣形式的形式化。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。