首页> 外文OA文献 >Combining de Bruijn indices and higher-order abstract syntax in Coq

【2h】

Combining de Bruijn indices and higher-order abstract syntax in Coq

机译：结合de Bruijn索引和Coq中的高阶抽象语法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Venanzio Capretta; Amy P. Felty;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Initial Semantics for higher-order typed syntax in Coq [J] . Benedikt Ahrens, Julianna Zsido Journal of Formalized Reasoning . 2011,第1期

机译：Coq中高阶键入语法的初始语义
2. A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax [J] . Amy Felty, Alberto Momigliano Journal of Automated Reasoning . 2012,第1期

机译：高阶抽象句法的定义性两级推理方法
3. Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax [J] . James Cheney, Michael Norrish, Rene Vestergaard Journal of Automated Reasoning . 2012,第2期

机译：形式化充分性：以高阶抽象句法为例
4. Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq [C] . Venanzio Capretta, Amy P. Felty International Workshop on Types for Proofs and Programs . 2007

机译：COQ中的De Bruijn指数和高阶抽象语法
5. A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs. [D] . Wang, Yuting. 2016

机译：经验证的功能程序编译的高阶抽象语法方法。
6. Definition and Estimation of Higher-Order Gene Fixation Indices [O] . Kermit Ritland 1987

机译：高阶基因固定指数的定义和估计
7. Combining higher-order abstract syntax with first-order abstract syntax in ATS [O] . Kevin Donnelly, Hongwei Xi 2005

机译：在ATS中将高阶抽象语法与一阶抽象语法相结合

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号