A Polymorphic Lambda Calculus with Type:Type
A Polymorphic Lambda Calculus with Type:Type
复制标题
Type:Type 的多态 Lambda 演算
DOI：
--
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
L. Cardelli
中科院分区：
文献类型：
--
作者：
L. Cardelli
本作品不得以任何商业目的全部或部分复制或转载。为了非营利的教育和研究目的，允许全部或部分复制而不支付费用，但所有这些全部或部分复制品必须包括以下内容：一份声明，说明这种复制是由作者和个人贡献者承认的许可;以及版权声明的所有适用部分。为任何其他目的而复制、复制或重新发布，应向系统研究中心支付费用并获得许可证。All rights reserved.
This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted for nonprofit educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of acknowledgment of the authors and individuals contributors to the work; and all applicable portions of the copyright notice. Copying, reproducing, or republishing for any other purpose shall require a license with payment of fee to the Systems Research Center. All rights reserved.