Dependent Types for Nominal Terms with Atom Substitutions

Elliot Fairweather; Maribel Fern{}ndez; Nora Szasz; Alvaro Tasistro

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Dependent Types for Nominal Terms with Atom Substitutions

【24h】

Dependent Types for Nominal Terms with Atom Substitutions

机译：带原子替换的名词术语的从属类型

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Nominal terms are an extended first-order language for specifying and verifying properties of syntax with binding. Founded upon the semantics of nominal sets, the success of nominal terms with regard to systems of equational reasoning is already well esta

机译：名词性术语是扩展的一阶语言，用于指定和验证具有绑定的语法的属性。基于名词集的语义，关于等式推理系统的名词术语的成功已经很成熟了

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2015年第29期|共16页
作者
Elliot Fairweather; Maribel Fern{}ndez; Nora Szasz; Alvaro Tasistro;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Proof-term synthesis on dependent-type systems via explicit substitutions [J] . Munoz C. Theoretical computer science . 2001,第1a2期

机译：通过显式替换对依赖类型系统进行证明合成
2. Estimating Ring Strain Energies of Highly Substituted Cyclohexanes with the Semi-homodesmotic Approach: Why Substantial Ring Strain Exists for Nominally Tetrahedral Ring Carbon Atoms [J] . De Lio Ashley M., Durfey Bridget L., Gilbert Thomas M. The Journal of Organic Chemistry . 2015,第20期

机译：用半同渗方法估算高度取代的环己烷的环应变能：为什么名义四面体环碳原子存在大量环应变
3. Effect of nominal Indium substitution on structural, magnetic and microwave properties of Calcium-Barium M-type hexaferrites [J] . Muddassara Kanwal, Ammara Riaz, Javed Ahmad, Journal of magnetism and magnetic materials . 2021,第Jula期

机译：名义铟取代对钙M型六氧化铝钙钡结构，磁性微波性能的影响
4. Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting [C] . Jesús Domínguez, Maribel Fernández International Symposium on Fundamentals of Computation Theory . 2019

机译：原子替换的标称语法：匹配，统一，重写
5. 12-lipoxygenase modulates l-type calcium channel-dependent long term potentiation by regulating calcium influx through l-type calcium channels. [D] . DeCostanzo, Anthony Joseph. 2008

机译：12-脂氧合酶通过调节通过L型钙通道的钙流入来调节L型钙通道依赖性的长期增强作用。
6. Why Does the Type of Halogen Atom Matter for the Radiosensitizing Properties of 5-Halogen Substituted 4-Thio-2′-Deoxyuridines? [O] . Paulina Spisz, Magdalena Zdrowowicz, Samanta Makurat, 2019

机译：为什么卤素原子的类型对5-卤素取代的4-Thio-2-Deoxyuridines的放射增敏特性很重要？
7. Dependent Types for Nominal Terms with Atom Substitutions [O] . Fairweather Elliot, Fernández Maribel, Szasz Nora, 2015

机译：具有原子替代的名义术语的依赖类型
8. Proof-Term Synthesis on Dependent-Type Systems via Explicit Substitutions [R] . Munoz, Cesar 1999

机译：通过显式替换在相依型系统上的证明项合成

Dependent Types for Nominal Terms with Atom Substitutions

摘要

著录项

相似文献

相关主题

期刊订阅