会员服务
结点 · TOOLS ·
2023 年 3 月 21 日
Node Replication: Theory And Practice
翻译：节点复制: 理论与实践
Delia Kesner,Loïc Peyrot,Daniel Ventura
Delia Kesner,Loïc Peyrot,Daniel Ventura
from arxiv, 66 pages, submitted to LMCS

We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type theoretical technical tools.


翻译：我们定义和研究了一个术语演算，实现高阶节点复制。它用于指定两种不同的（弱）评估策略：名字调用和完全懒惰的名字需要，通过使用类型理论的技术工具，它们被证明是可观察等效的。
0
下载
关闭预览

相关内容

【Manning新书】自动机器学习实战，Automated Machine Learning in Action
【Manning新书】自动机器学习实战，Automated Machine Learning in Action
专知会员服务
92+阅读 · 2022年4月8日
德国亥姆霍兹信息安全中心（CISPA）最新论文《多智能体系统中的超属性逻辑》，42页pdf
德国亥姆霍兹信息安全中心（CISPA）最新论文《多智能体系统中的超属性逻辑》，42页pdf
专知会员服务
15+阅读 · 2022年4月6日
【经典书】量化金融导论，192页pdf，哈佛大学Stephen Blyth著作
【经典书】量化金融导论，192页pdf，哈佛大学Stephen Blyth著作
专知会员服务
95+阅读 · 2022年4月3日
【牛津大学博士论文】流形的几何优化与深度学习的应用，154页pdf，Geometric Optimisation on Manifolds with Applications to Deep Learning
【牛津大学博士论文】流形的几何优化与深度学习的应用，154页pdf，Geometric Optimisation on Manifolds with Applications to Deep Learning
专知会员服务
21+阅读 · 2022年3月21日
【2020新书】Python专业实践，250页pdf，Practices of the Python Pro
【2020新书】Python专业实践，250页pdf，Practices of the Python Pro
专知会员服务
58+阅读 · 2020年11月15日
神经网络的拓扑结构，TOPOLOGY OF DEEP NEURAL NETWORKS
神经网络的拓扑结构，TOPOLOGY OF DEEP NEURAL NETWORKS
专知会员服务
32+阅读 · 2020年4月15日
【2020新书】Kafka实战：Kafka in Action，209页pdf
【2020新书】Kafka实战：Kafka in Action，209页pdf
专知会员服务
67+阅读 · 2020年3月9日
【新书】Python机器学习实战，545页pdf，Practical Machine Learning with Python
【新书】Python机器学习实战，545页pdf，Practical Machine Learning with Python
专知会员服务
300+阅读 · 2020年2月26日
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
专知会员服务
151+阅读 · 2020年1月25日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
阿里云块存储团队软件工程实践
阿里云块存储团队软件工程实践
阿里技术
0+阅读 · 2022年10月11日
量化金融强化学习论文集合
量化金融强化学习论文集合
专知
13+阅读 · 2019年12月18日
一行TensorFlow/Keras代码解决真实场景中数据不平衡(imbalanced)问题
一行TensorFlow/Keras代码解决真实场景中数据不平衡(imbalanced)问题
专知
78+阅读 · 2019年5月31日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
R工程化—Rest API 之plumber包
R工程化—Rest API 之plumber包
R语言中文社区
11+阅读 · 2018年12月25日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
笔记 | Deep active learning for named entity recognition
笔记 | Deep active learning for named entity recognition
黑龙江大学自然语言处理实验室
24+阅读 · 2018年5月27日
在Python中使用SpaCy进行文本分类
在Python中使用SpaCy进行文本分类
专知
24+阅读 · 2018年5月8日
Hamilton-Jacibi方程的弱KAM理论
国家自然科学基金
1+阅读 · 2017年12月31日
两类分数阶微分方程有效数值计算方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
基于引经理论探讨麝香促进骨髓间充质干细胞迁移的信号通路研究
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
IRF家族乙酰化修饰在心脏重构中的作用及机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
铝电解阴极炭块破裂过程的渗透-应力-损伤耦合效应
国家自然科学基金
0+阅读 · 2012年12月31日
脂肪组织巨噬细胞（ATMs）替代激活及调控在股骨头坏死发病机制及治疗中的作用研究
国家自然科学基金
0+阅读 · 2012年12月31日
Parameterized Verification of Disjunctive Timed Networks
Arxiv
0+阅读 · 2023年5月12日
Stratified Adversarial Robustness with Rejection
Arxiv
0+阅读 · 2023年5月12日
Inapplicable Actions Learning for Knowledge Transfer in Reinforcement Learning
Arxiv
0+阅读 · 2023年5月11日
A Complication for the Many Worlds Theory
Arxiv
0+阅读 · 2023年5月10日
A survey and taxonomy of loss functions in machine learning
Arxiv
22+阅读 · 2023年1月13日
Knowledge Graph Embedding: A Survey from the Perspective of Representation Spaces
Arxiv
18+阅读 · 2022年11月7日
Enable Deep Learning on Mobile Devices: Methods, Systems, and Applications
Arxiv
35+阅读 · 2022年4月25日
A Comprehensive Survey and Performance Analysis of Activation Functions in Deep Learning
A Comprehensive Survey and Performance Analysis of Activation Functions in Deep Learning
Arxiv
23+阅读 · 2021年9月29日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
Generative Adversarial Networks and Probabilistic Graph Models for Hyperspectral Image Classification
Arxiv
11+阅读 · 2018年2月10日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
结点
TOOLS
相关VIP内容
【Manning新书】自动机器学习实战，Automated Machine Learning in Action
【Manning新书】自动机器学习实战，Automated Machine Learning in Action
专知会员服务
92+阅读 · 2022年4月8日
德国亥姆霍兹信息安全中心（CISPA）最新论文《多智能体系统中的超属性逻辑》，42页pdf
德国亥姆霍兹信息安全中心（CISPA）最新论文《多智能体系统中的超属性逻辑》，42页pdf
专知会员服务
15+阅读 · 2022年4月6日
【经典书】量化金融导论，192页pdf，哈佛大学Stephen Blyth著作
【经典书】量化金融导论，192页pdf，哈佛大学Stephen Blyth著作
专知会员服务
95+阅读 · 2022年4月3日
【牛津大学博士论文】流形的几何优化与深度学习的应用，154页pdf，Geometric Optimisation on Manifolds with Applications to Deep Learning
【牛津大学博士论文】流形的几何优化与深度学习的应用，154页pdf，Geometric Optimisation on Manifolds with Applications to Deep Learning
专知会员服务
21+阅读 · 2022年3月21日
【2020新书】Python专业实践，250页pdf，Practices of the Python Pro
【2020新书】Python专业实践，250页pdf，Practices of the Python Pro
专知会员服务
58+阅读 · 2020年11月15日
神经网络的拓扑结构，TOPOLOGY OF DEEP NEURAL NETWORKS
神经网络的拓扑结构，TOPOLOGY OF DEEP NEURAL NETWORKS
专知会员服务
32+阅读 · 2020年4月15日
【2020新书】Kafka实战：Kafka in Action，209页pdf
【2020新书】Kafka实战：Kafka in Action，209页pdf
专知会员服务
67+阅读 · 2020年3月9日
【新书】Python机器学习实战，545页pdf，Practical Machine Learning with Python
【新书】Python机器学习实战，545页pdf，Practical Machine Learning with Python
专知会员服务
300+阅读 · 2020年2月26日
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
专知会员服务
151+阅读 · 2020年1月25日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
阿里云块存储团队软件工程实践
阿里云块存储团队软件工程实践
阿里技术
0+阅读 · 2022年10月11日
量化金融强化学习论文集合
量化金融强化学习论文集合
专知
13+阅读 · 2019年12月18日
一行TensorFlow/Keras代码解决真实场景中数据不平衡(imbalanced)问题
一行TensorFlow/Keras代码解决真实场景中数据不平衡(imbalanced)问题
专知
78+阅读 · 2019年5月31日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
R工程化—Rest API 之plumber包
R工程化—Rest API 之plumber包
R语言中文社区
11+阅读 · 2018年12月25日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
笔记 | Deep active learning for named entity recognition
笔记 | Deep active learning for named entity recognition
黑龙江大学自然语言处理实验室
24+阅读 · 2018年5月27日
在Python中使用SpaCy进行文本分类
在Python中使用SpaCy进行文本分类
专知
24+阅读 · 2018年5月8日
相关论文
Parameterized Verification of Disjunctive Timed Networks
Arxiv
0+阅读 · 2023年5月12日
Stratified Adversarial Robustness with Rejection
Arxiv
0+阅读 · 2023年5月12日
Inapplicable Actions Learning for Knowledge Transfer in Reinforcement Learning
Arxiv
0+阅读 · 2023年5月11日
A Complication for the Many Worlds Theory
Arxiv
0+阅读 · 2023年5月10日
A survey and taxonomy of loss functions in machine learning
Arxiv
22+阅读 · 2023年1月13日
Knowledge Graph Embedding: A Survey from the Perspective of Representation Spaces
Arxiv
18+阅读 · 2022年11月7日
Enable Deep Learning on Mobile Devices: Methods, Systems, and Applications
Arxiv
35+阅读 · 2022年4月25日
A Comprehensive Survey and Performance Analysis of Activation Functions in Deep Learning
A Comprehensive Survey and Performance Analysis of Activation Functions in Deep Learning
Arxiv
23+阅读 · 2021年9月29日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
Generative Adversarial Networks and Probabilistic Graph Models for Hyperspectral Image Classification
Arxiv
11+阅读 · 2018年2月10日
相关基金
Hamilton-Jacibi方程的弱KAM理论
国家自然科学基金
1+阅读 · 2017年12月31日
两类分数阶微分方程有效数值计算方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
基于引经理论探讨麝香促进骨髓间充质干细胞迁移的信号通路研究
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
IRF家族乙酰化修饰在心脏重构中的作用及机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
铝电解阴极炭块破裂过程的渗透-应力-损伤耦合效应
国家自然科学基金
0+阅读 · 2012年12月31日
脂肪组织巨噬细胞（ATMs）替代激活及调控在股骨头坏死发病机制及治疗中的作用研究
国家自然科学基金
0+阅读 · 2012年12月31日
Top
微信扫码咨询专知VIP会员
Top