Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule
复制标题
基于Omega规则的无参数多态Lambda演算的强归一化
DOI：
10.4230/lipics.fscd.2016.5
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Ryota Akiyoshi and Kazushige Terui
中科院分区：
文献类型：
--
作者：
Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui
