首页> 外文OA文献 >DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)

【2h】

DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)

机译：包括简单类型的弱扩展性的语义学（证明理论和计算理论）

代理获取

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

页面导航

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

著录项

作者
Kurata Toshihiko;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Denotational semantics for guarded dependent type theory [J] . Aleš Bizjak, Rasmus Ejlers Møgelberg Mathematical structures in computer science . 2020,第4期

机译：保护依赖类型理论的表示语义
2. Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory [J] . Veltri Niccolò, M?gelberg Rasmus Ejlers, Mannaa Bassel Logical Methods in Computer Science . 2020,第4期

机译：滴答时钟作为依赖权伴随：时钟类型理论的表示语义
3. Denotational semantics of recursive types in synthetic guarded domain theory [J] . Mogelberg Rasmus E., Paviotti Marco Mathematical structures in computer science . 2019,第3期

机译：综合保护域理论中递归类型的指称语义
4. Denotational semantics of recursive types in synthetic guarded domain theory [C] . Rasmus Ejlers Møgelberg, Marco Paviotti Annual ACM/IEEE Symposium on Logic in Computer Science . 2016

机译：综合保护域理论中递归类型的指称语义
5. Extensible proof engineering in intensional type theory. [D] . Malecha, Gregory Michael. 2015

机译：内涵类型理论中的可扩展证明工程。
6. A Computational Proof of Concept of a Machine-Intelligent Artificial Pancreas Using Lyapunov Stability and Differential Game Theory [O] . Nigel J. C. Greenwood, Jenny E. Gunton 2014

机译：基于Lyapunov稳定性和微分博弈论的机器智能人工胰腺概念的计算证明。
7. A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory) [O] . Fujita Ken-etsu, Hasegawa Masahito 2005

机译：从多态类型嵌入存在类型的Galois：扩展抽象（证明理论和计算理论）

DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)

著录项

引文网络

相似文献

相关主题

期刊订阅