首页> 外文OA文献 >The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)

【2h】

The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)

机译：Lambda多维数据集中的参数化理论（以范畴论和证明论之间的新相互作用为目标）

代理获取

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

页面导航

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

著录项

作者
Takeuti Izumi;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. LOCAL THEORY OF SETS AS A FOUNDATION FOR CATEGORY THEORY AND ITS CONNECTION WITH THE ZERMELO-FRAENKEL SET THEORY [J] . V. K. Zakharov, E. I. Bunina, A. V. Mikhalev, Journal of Mathematical Sciences . 2006,第4期

机译：集合的局部理论是分类理论的基础，并且与Zermelo-Freankel集合论相关
2. Single-particle potential of the Lambda hyperon in nuclear matter with chiral effective field theory NLO interactions including effects of Y N N three-baryon interactions [J] . Kohno M. Physical review, C . 2018,第3期

机译：具有手性有效领域理论NLO相互作用的核问题的单粒子潜力，包括Y N n三缩醛相互作用的影响
3. Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory [J] . Ernesto Copello, Nora Szasz, álvaro Tasistro Electronic Notes in Theoretical Computer Science . 2018,第1期

机译：构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
4. Lambda+, the Renewal of the Lambda Architecture: Category Theory to the Rescue [C] . Annabelle Gillet, Eric Leclercq, Nadine Cullot International Conference on Advanced Information Systems Engineering . 2021

机译：Lambda +，Lambda架构的更新：救援的类别理论
5. The representation theory of profinite algebras: Interactions with category theory, algebraic topology and compact groups. [D] . Iovanov, Miodrag C. 2009

机译：有限代数的表示论：与范畴论，代数拓扑和紧群的相互作用。
6. From the representation theory of vertex operator algebras to modular tensor categories in conformal field theory [O] . James Lepowsky 2005

机译：从顶点算子代数的表示理论到共形场论中的模量张量类别
7. A Proof of the Standardization Theorem in $lambda$-Calculus (Towards new interaction between category theory and proof theory) [O] . Kashima Ryo 2001

机译：$ lambda $-微积分中的标准化定理的证明（以范畴理论和证明理论之间的新相互作用为目标）
8. Coupled 2-Dimensional Cascade Theory for Noise and Unsteady Aerodynamics of BladeRow Interaction in Turbofans. Volume 1: Theory Development and Parametric Studies [R] . Hanson, D. B. 1994

机译：涡轮风扇中BladeRow相互作用的噪声与非定常气动耦合二维级联理论。第1卷：理论发展和参数研究

The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)

著录项

引文网络

相似文献

相关主题

期刊订阅