A braided lambda calculus
A braided lambda calculus
复制标题
辫状 lambda 演算
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Masahito Hasegawa
中科院分区：
文献类型：
--
作者：
Belmonte Remy;Hanaka Tesshu;Katsikarelis Ioannis;Lampis Michael;Ono Hirotaka;Otachi Yota;Masahito Hasegawa
登录
查看更多内容
Lambda 微积分和组合器，简介：加星号练习的答案
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
J. Hindley;J. Seldin
通讯作者：
J. Seldin
DOI：
10.1007/978-3-642-12821-9_5
发表时间：
2010
期刊：
Lecture Notes in Physics
影响因子：
--
作者：
Esfandiar Haghverdi;P. Scott
通讯作者：
P. Scott
线性 lambda 项作为有根三价映射的不变量
影响因子：
1.1
作者：
N. Zeilberger
通讯作者：
N. Zeilberger
不对称的可实现性
DOI：
10.4230/lipics.csl.2021.38
发表时间：
2021
期刊：
ArXiv
影响因子：
--
作者：
Haruka Tomita
通讯作者：
Haruka Tomita
有根平面映射与普通平面 lambda 项之间的对应关系
DOI：
--
发表时间：
2014
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
N. Zeilberger;Alain Giorgetti
通讯作者：
Alain Giorgetti