首页> 外文OA文献 >The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory)

【2h】

The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory)

机译：孪生理论和线性参量理论（注）（类别理论和证明理论之间的新互动）

代理获取

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

页面导航

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

著录项

作者
Hasegawa Ryu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Time-dependent density-functional theory approach to nonlinear particle-solid interactions in comparison with scattering theory [J] . Nazarov VU, Pitarke JM, Kim CS, Journal of Physics. Condensed Matter . 2004,第47期

机译：与散射理论比较的时变密度泛函理论方法求解非线性颗粒-固体相互作用
2. The Theory and Experiment of Parametric Amplification of Three-wave Nonlinear Interaction in Water [J] . LAN Chaofeng, YANG Desen, LU Di, 电子学报：英文版 . 2013,第002期

机译：水中三波非线性相互作用的参数放大理论与实验
3. Probing the electron-phonon interaction in superconductivity for KSn2 using the Migdal-Eliashberg theory and linear-response theory [J] . Saib S., Karaca Ertugrul, Uzunok H. Y., Philosophical Magazine Letters . 2020,第1a3期

机译：利用MIGDAL-ELIASHBERG理论和线性响应理论探测KSN2的超导性的电子 - 声子相互作用
4. Proof Planning Diagonalisation Theorems via Category Theory [C] . Alan Smaill AISB Convention . 2007

机译：通过类别理论证明规划对角定理
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. The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory) [O] . Takeuti Izumi 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 Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory)

著录项

引文网络

相似文献

相关主题

期刊订阅