首页> 外文OA文献 >Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion

【2h】

Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion

机译：通过泰勒展开法（连接的）MELL证明网的关系语义的可插性

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Guerrieri Giulio; Tortora De Falco Lorenzo; Pellissier Luc;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Relational Graph Models, Taylor Expansion and Extensionality [J] . Giulio Manzonetto, Domenico Ruoppolo Electronic Notes in Theoretical Computer Science . 2014,第2期

机译：关系图模型，泰勒展开和可扩展性
2. Computing Connected Proof(-Structure)s From Their Taylor Expansion [J] . Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco LIPIcs : Leibniz International Proceedings in Informatics . 2016,第2期

机译：从泰勒展开式计算连通证明（结构）
3. Relational semantics and a relational proof system for full lambek calculus [J] . Wendy MacCaull Journal of Symbolic Logic . 1998,第2期

机译：完全lambek演算的关系语义和关系证明系统
4. Proof-Net as Graph, Taylor Expansion as Pullback [C] . Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco International Workshop on Logic, Language, Information and Computation . 2019

机译：证明网为图，泰勒展开为回撤
5. Heidegger and Wittgenstein in Taylor's semantic dimension (Martin Heidegger, Ludwig Wittgenstein, Charles Taylor). [D] . Landes, Donald Arthur. 2003

机译：海德格尔和维特根斯坦在泰勒的语义维度上（马丁·海德格尔，路德维希·维特根斯坦，查尔斯·泰勒）。
6. Semantic querying of relational data for clinical intelligence: a semantic web services-based approach [O] . Alexandre Riazanov, Artjom Klein, Arash Shaban-Nejad, 2013

机译：关系数据的语义查询以用于临床智能：基于语义Web服务的方法
7. Relational Graph Models, Taylor Expansion and Extensionality [O] . Manzonetto, Giulio, Ruoppolo, Domenico 2014

机译：关系图模型，泰勒展开和可扩展性
8. Relational Calculus and Relational Program Semantics [R] . Dijkstra, R. M. 1995

机译：关系演算与关系程序语义

Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion

摘要

著录项

相似文献

相关主题

期刊订阅