General Bindings and Alpha-Equivalence in Nominal Isabelle
Author:
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. T. Altenkirch, N. A. Danielsson, A. Löh, and N. Oury. PiSigma: Dependent Types Without the Sugar. InProc. of the 10th International Symposium on Functional and Logic Programming (FLOPS), volume 6009 ofLNCS, pages 40-55, 2010.
2. B. E. Aydemir, A. Bohannon, M. Fairbairn, J. N. Foster, B. C. Pierce, P. Sewell, D. Vytiniotis, G. Washburn, S. Weirich, and S. Zdancewic. Mechanized Metatheory for the Masses: The PoplMark Challenge. InProc. of the 18th Conference on Theorem Proving in Higher Order Logics (TPHOLs), volume 3603 ofLNCS, pages 50-65, 2005.
3. J. Bengtson and J. Parrow. Psi-Calculi in Isabelle. InProc of the 22nd Conference on Theorem Proving in Higher Order Logics (TPHOLs), volume 5674 ofLNCS, pages 99-114, 2009.
4. S. Berghofer and M. Wenzel. Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering. InProc. of the 12th Conference on Theorem Proving in Higher Order Logics (TPHOLs), volume 1690 ofLNCS, pages 19-36, 1999.
5. A. Charguéraud. The Locally Nameless Representation. To appear inJournal of Automated Reasoning.
Cited by 26 articles. 订阅此论文施引文献 订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
2. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version;Journal of Automated Reasoning;2023-07-05
3. Nominal Unification and Matching of Higher Order Expressions with Recursive Let;Fundamenta Informaticae;2022-05-05
4. Rensets and Renaming-Based Recursion for Syntax with Bindings;Automated Reasoning;2022
5. MODAL LOGICS FOR NOMINAL TRANSITION SYSTEMS;LOG METH COMPUT SCI;2021
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3