首页> 外文OA文献 >Under consideration for publication in J. Functional Programming 1 Mechanizing Metatheory in a Logical Framework

【2h】

Under consideration for publication in J. Functional Programming 1 Mechanizing Metatheory in a Logical Framework

机译：正在考虑发表在J.Functional Programming 1在逻辑框架中机械化元理论

页面导航

著录项
相似文献
相关主题

著录项

作者
Robert Harper; Daniel R. Licata;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Constructive Galois Connections Taming the Galois Connection Framework for Mechanized Metatheory [J] . Darais David, Van Horn David ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第9期

机译：建设性的Galois连接驯服了针对机械化元理论的Galois连接框架
2. Mechanized Metatheory Revisited [J] . Miller Dale Journal of Automated Reasoning . 2019,第3期

机译：重新审视机械化元理论
3. Mechanized Metatheory Revisited [J] . Miller Dale Journal of neurosurgical sciences . 2019,第3期

机译：重新审视机械化的联系
4. Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework [C] . Carsten Schurmann International Symposium on Functional and Logic Programming . 2004

机译：Twelf和Delphin：元逻辑框架中的逻辑和功能编程
5. Mechanizing the Metatheory of Rewire [D] . Reynolds, Thomas N. 2019

机译：机械化重新束的Metathory
6. Mechanized azobenzene-functionalized zirconium metal-organic framework for on-command cargo release [O] . Xiangshi Meng, Bo Gui, Daqiang Yuan, 2016

机译：机械化的偶氮苯功能化锆金属有机框架可按需释放货物
7. Mechanizing Metatheory in a Logical Framework [O] . Harper Robert, Licata Daniel R. 2007

机译：在逻辑框架中机械化元理论
8. Open Logical Programming Environment. A Practical Framework for Sharing Formal Models [R] . Constable, R. L. , Kreitz, C. 2002

机译：开放逻辑编程环境。分享形式模型的实用框架

Under consideration for publication in J. Functional Programming 1 Mechanizing Metatheory in a Logical Framework

著录项

相似文献

相关主题

期刊订阅