首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 公司527项目:实施依赖类型lambda演算

公司527项目:实施依赖类型lambda演算

资 源 简 介

Implementing a Dependently-Typed Lambda Calculus Welcome to our COMP 527 project webpage on implementing a dependently-typed lambda calculus. In this project we will try to learn about simply-typed and dependently-typed lambda calculus, experiment with different implementations, and make the connection with logic and natural deduction. Check out the Wiki for our project proposal and milestones, and the repository for the source code. Team members: * Ali Assaf * Abbie Desrosiers * Alexandre Tomberg

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP