最近参加了一系列的计算机理论讨论会，讲到类型理论和进程代数的关系。 提出类型理论不作为元系统，可以用CCS来表达。 CCS具有交互特性，那么一个交互的类型指称一个什么样的Domain呢？是否一定要指称一个domain，其语义就使用ccs来表达，采用bisimulation框架，不知是否可行？

 另外，交大这边得到一个结论，就是pi演算并非最小表达的interactive  model,并且开发出了最小模型，这个是否可用于类型理论？

本人对rewriting logic比较感兴趣，以上是否可由rewriting logic统一表达，是否有新的东西在里面呢？

转载本文请联系原作者获取授权，同时请注明本文来自戚正伟科学网博客。
链接地址：https://blog.sciencenet.cn/blog-279072-289679.html

上一篇：C-Decompiler: 交互式C/C++反编译器
下一篇：科学网的blog真好使