通讯技术 nbe-weak-systemt 返回
项目作者： fsestini

项目描述 ：
Normalization by Evaluation for a version of System T with combinatory weak conversion.
高级语言： Agda
项目地址: git://github.com/fsestini/nbe-weak-systemt.git
创建时间： 2017-12-05T16:44:22Z
项目社区：https://github.com/fsestini/nbe-weak-systemt
开源协议：
下载