首页> 外文OA文献 >A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)

【2h】

A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)

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

代理获取

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

页面导航

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

著录项

作者
Fujita Ken-etsu; Hasegawa Masahito;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Galois embedding from universal types into existential types Extended Abstract - [J] . Ken-etsu Fujita, 藤田憲悅数理解析研究所讲究录 . 2006,第1503期

机译：Galois从通用类型嵌入到存在类型中扩展的摘要-
2. Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems [J] . Koji Nakazawa, Makoto Tatsutay. Chicago Journal of Theoretical Computer Science . 2010,第2期

机译：多量和无类型系统中多态和现有类型的类型检查和推断
3. A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance [J] . AndreasAbel, ThierryCoquand, MiguelPagano Logical Methods in Computer Science . 2011,第2期

机译：具有单例类型和证明不相关性的类型理论的模块化类型检查算法
4. Galois Embedding from Polymorphic Types into Existential Types [C] . Ken-etsu Fujita International Conference Typed Lambda Calculi and Applications(TLCA 2005); 20050421-23; Nara(JP) . 2005

机译：Galois从多态类型嵌入到现有类型
5. Extensible proof engineering in intensional type theory. [D] . Malecha, Gregory Michael. 2015

机译：内涵类型理论中的可扩展证明工程。
6. The Life Mission Theory VII. Theory of Existential (Antonovsky) Coherence: A Theory of Quality of Life Health and Ability for Use in Holistic Medicine [O] . Søren Ventegodt, Trine Flensborg-Madsen, Niels Jørgen Andersen, 2005

机译：生命使命理论VII。存在（安东诺夫斯基）连贯性理论：生活质量健康和整体医学使用能力的理论
7. Galois embedding from universal types into existential types : Extended Abstract(Algorithmic problems in algebra, languages and computation systems) [O] . Fujita Ken-etsu 2006

机译：Galois从通用类型嵌入到存在类型中：扩展抽象（代数，语言和计算系统中的算法问题）
8. Theory of Computation and Specification Over Abstract Data Types and Its Applications. [R] . Tucker, J. V. 1989

机译：抽象数据类型的计算和规范理论及其应用。

A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)

著录项

引文网络

相似文献

相关主题

期刊订阅