Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
复制标题
重温偏爱：作为商归纳-归纳类型的偏爱 Monad
DOI：
10.48550/arxiv.1610.09254
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Altenkirch T
中科院分区：
文献类型：
--
作者：
Altenkirch T
登录
查看更多内容
Coq 中的一些领域理论和指称语义
DOI：
10.1007/978-3-642-03359-9_10
发表时间：
2009
期刊：
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Nick Benton;A. Kennedy;C. Varming
通讯作者：
C. Varming
影响因子：
0.6
作者：
Capretta, Venanzio
通讯作者：
Capretta, Venanzio
通过弱双相似性对延迟单子进行引用
影响因子：
0.5
作者：
James Chapman;Tarmo Uustalu;Niccolò Veltri
通讯作者：
Niccolò Veltri
海德伯格定理的推广
DOI：
10.1007/978-3-642-38946-7_14
发表时间：
2013
期刊：
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
Nicolai Kraus;M. Escardó;T. Coquand;Thorsten Altenkirch
通讯作者：
Thorsten Altenkirch
DOI：
10.1145/2837614.2837638
发表时间：
2016-01
期刊：
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Thorsten Altenkirch;A. Kaposi
通讯作者：
Thorsten Altenkirch;A. Kaposi