1. PTT
  2. PLT

[问题] How useful is category theory to PLT?

楼主: carelai (我心依旧)   2015-11-19 15:35:52
Is it a must to learn in order to conduct researches in PLT?
作者: suhorng ( )   2015-11-19 15:52:00
作PLT的什么研究? PLT范围很大
楼主: carelai (我心依旧)   2015-11-19 16:26:00
models and semanticsWhat do you think?
作者: suhorng ( )   2015-11-19 22:11:00
I'm sorry. I'm not familiar with this area...Just that indeed people give categorical semantics
继续阅读
[问题] 有人能很好地讲解一下Scott semantics吗?carelai[情报] Functional Thursday #31CindyLinz[情报] Functional Thursday #30CindyLinz[情报] Functional Thursday #29CindyLinz[问题] Lattice Theory在PLT的重要性？carelai[情报] Functional Thursday #28CindyLinz[征才] 日本IT企业联合征才活动-即日开始报名!reeracoen15bare-metal scheme by c++descent[问题] PSoC设计 倒数警爆器ianchi[网宣] 逻辑、语言与计算暑期研习营 (FLOLAC'15)pa4373

Links booklink

Contact Us: admin [ a t ] ucptt.com