Recursion and Sequentiality in Categories of Sheaves
Recursion and Sequentiality in Categories of Sheaves
复制标题
滑轮类别中的递归和顺序性
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Matache C
中科院分区：
文献类型：
--
作者：
Matache C
登录
查看更多内容
合成域理论中的公理和（反）例子
影响因子：
0.8
作者：
J. V. Oosten;A. Simpson
通讯作者：
A. Simpson
DOI：
10.1109/lics.2017.8005137
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Heunen C
通讯作者：
Heunen C
DOI：
10.1007/978-3-030-45231-5_17
发表时间：
2020-04-17
期刊：
Foundations of Software Science and Computation Structures
影响因子：
--
作者：
Huot M;Staton S;Vákár M
通讯作者：
Vákár M
Amb 会破坏精准性，Ground Amb 则不会
DOI：
--
发表时间：
2007
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
P. Levy
通讯作者：
P. Levy
通过 Grothendieck 逻辑关系求和的 Lambda 可定义性
DOI：
--
发表时间：
1999
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
M. Fiore;A. Simpson
通讯作者：
A. Simpson