The Functional Machine Calculus II: Semantics
The Functional Machine Calculus II: Semantics
复制标题
功能机器微积分 II：语义
DOI：
10.48550/arxiv.2211.13140
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Barrett C
中科院分区：
文献类型：
--
作者：
Barrett C
登录
查看更多内容
封闭的弗雷德和 - 类别
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
Hayo Thielecke
通讯作者：
Hayo Thielecke
DOI：
10.1145/1869631.1869637
发表时间：
2010-10
期刊：
2008 IEEE Fourth International Conference on eScience
影响因子：
--
作者：
Sviatoslav Pestov;Daniel Ehrenberg;Joseph Groff
通讯作者：
Sviatoslav Pestov;Daniel Ehrenberg;Joseph Groff
DOI：
10.4230/lipics.csl.2023.6
发表时间：
2021-07
期刊：
ArXiv
影响因子：
--
作者：
Mario Alvarez-Picallo;D. Ghica;David Sprunger;F. Zanasi
通讯作者：
Mario Alvarez-Picallo;D. Ghica;David Sprunger;F. Zanasi
将类型化 Lambda 演算分解为几种分类编程语言
DOI：
--
发表时间：
1995
期刊：
Category Theory and Computer Science
影响因子：
--
作者：
Masahito Hasegawa
通讯作者：
Masahito Hasegawa
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
R. D. Vrijer
通讯作者：
R. D. Vrijer