会员服务
规范化的 ·
4 月 8 日
On the complexity of normalization for the planar $λ$-calculus
翻译：暂无翻译
Anupam Das,Damiano Mazza,Lê Thành Dũng Nguyên,Noam Zeilberger
Anupam Das,Damiano Mazza,Lê Thành Dũng Nguyên,Noam Zeilberger
from arxiv, Abstract for the Trends in Linear Logic and Applications 2023 workshop, meant to be expanded into a proper paper in the future

We sketch a tentative proof of P-completeness for the $\beta$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $\lambda$-terms.


翻译：暂无翻译
0
下载
关闭预览

相关内容

牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
42+阅读 · 2022年2月17日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
44+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
32+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
140+阅读 · 2020年7月6日
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
专知会员服务
14+阅读 · 2020年2月1日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
24+阅读 · 2019年10月18日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
《DeepGCNs: Making GCNs Go as Deep as CNNs》
《DeepGCNs: Making GCNs Go as Deep as CNNs》
专知会员服务
30+阅读 · 2019年10月17日
ExBert — 可视化分析Transformer学到的表示
ExBert — 可视化分析Transformer学到的表示
专知会员服务
30+阅读 · 2019年10月16日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
RL解决'BipedalWalkerHardcore-v2' (SOTA)
RL解决'BipedalWalkerHardcore-v2' (SOTA)
CreateAMind
31+阅读 · 2019年7月17日
可解释AI(XAI)工具集—DrWhy
可解释AI(XAI)工具集—DrWhy
专知
25+阅读 · 2019年6月4日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
基于Amalgam空间的Hardy空间实变理论及其应用
国家自然科学基金
1+阅读 · 2017年12月31日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
具有群作用CR流形上的Morse不等式
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
Arxiv
0+阅读 · 5月10日
Unification in the description logic $\mathcal{FL}_\bot$
Unification in the description logic $\mathcal{FL}_\bot$
Arxiv
0+阅读 · 5月10日
Twisted conjugacy in dihedral Artin groups II: Baumslag Solitar groups $\mathrm{BS}(n,n)$
Arxiv
0+阅读 · 5月10日
Twisted conjugacy in dihedral Artin groups I: Torus Knot groups
Arxiv
0+阅读 · 5月10日
On $σ$ self-orthogonal matrix-product codes associated with Toeplitz matrices
Arxiv
0+阅读 · 5月10日
A $(\frac32+\frac1{\mathrm{e}})$-Approximation Algorithm for Ordered TSP
Arxiv
0+阅读 · 5月10日
Efficient set-theoretic algorithms for computing high-order Forman-Ricci curvature on abstract simplicial complexes
Arxiv
0+阅读 · 5月9日
A discontinuous Galerkin scheme for elliptic equations on extremely stretched grids
Arxiv
0+阅读 · 5月9日
A psychological theory of explainability
Arxiv
16+阅读 · 2022年5月17日
Information-theoretic generalization bounds for black-box learning algorithms
Arxiv
12+阅读 · 2021年10月4日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
规范化的
相关VIP内容
牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
42+阅读 · 2022年2月17日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
44+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
32+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
140+阅读 · 2020年7月6日
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
专知会员服务
14+阅读 · 2020年2月1日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
24+阅读 · 2019年10月18日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
《DeepGCNs: Making GCNs Go as Deep as CNNs》
《DeepGCNs: Making GCNs Go as Deep as CNNs》
专知会员服务
30+阅读 · 2019年10月17日
ExBert — 可视化分析Transformer学到的表示
ExBert — 可视化分析Transformer学到的表示
专知会员服务
30+阅读 · 2019年10月16日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
RL解决'BipedalWalkerHardcore-v2' (SOTA)
RL解决'BipedalWalkerHardcore-v2' (SOTA)
CreateAMind
31+阅读 · 2019年7月17日
可解释AI(XAI)工具集—DrWhy
可解释AI(XAI)工具集—DrWhy
专知
25+阅读 · 2019年6月4日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
相关论文
Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
Arxiv
0+阅读 · 5月10日
Unification in the description logic $\mathcal{FL}_\bot$
Unification in the description logic $\mathcal{FL}_\bot$
Arxiv
0+阅读 · 5月10日
Twisted conjugacy in dihedral Artin groups II: Baumslag Solitar groups $\mathrm{BS}(n,n)$
Arxiv
0+阅读 · 5月10日
Twisted conjugacy in dihedral Artin groups I: Torus Knot groups
Arxiv
0+阅读 · 5月10日
On $σ$ self-orthogonal matrix-product codes associated with Toeplitz matrices
Arxiv
0+阅读 · 5月10日
A $(\frac32+\frac1{\mathrm{e}})$-Approximation Algorithm for Ordered TSP
Arxiv
0+阅读 · 5月10日
Efficient set-theoretic algorithms for computing high-order Forman-Ricci curvature on abstract simplicial complexes
Arxiv
0+阅读 · 5月9日
A discontinuous Galerkin scheme for elliptic equations on extremely stretched grids
Arxiv
0+阅读 · 5月9日
A psychological theory of explainability
Arxiv
16+阅读 · 2022年5月17日
Information-theoretic generalization bounds for black-box learning algorithms
Arxiv
12+阅读 · 2021年10月4日
相关基金
基于Amalgam空间的Hardy空间实变理论及其应用
国家自然科学基金
1+阅读 · 2017年12月31日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
具有群作用CR流形上的Morse不等式
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top