【文件属性】：
文件名称：protocols:使用Agda依赖类型的协议浅层嵌入协议
文件大小：168KB
文件格式：ZIP
更新时间：2021-05-22 20:20:25
Agda
目录的组织如下：
PTT ：这是过程类型理论的形式化形式。 在此过程中进行了一些简化，例如二进制连接词和单位而不是n元连接词。 在切口和张量立即分开其证明的过程的特定情况下，切口消除被证明是允许的。
SendRecv ：这是子系统的形式化形式，该子系统不具有⅋和⊗而仅具有send和recv 。
Control.Protocol ：是基于send / recv协议的库。 乘法⅋ （ ⅋和⊗ ）是部分仿真的。
HTML高亮显示的版本（不一定是最新的）：
此开发需要对标准库进行一些扩展：
此开发是一个更大项目的一部分：
【文件预览】：
protocols-master
----protocols.agda(557B)
----PTT-sub()
--------Translation.agda(5KB)
--------Dom.agda(1KB)
--------Proto.agda(29KB)
--------Map.agda(6KB)
--------Vars.agda(20KB)
--------Session.agda(13KB)
--------Cut.agda(4KB)
--------Term.agda(3KB)
--------Conversion.agda(19KB)
--------Env.agda(15KB)
--------Split.agda(18KB)
----experiments()
--------Control()
----old()
--------experiments()
--------Choreography.agda(62KB)
--------CoreBind.agda(17KB)
----PTT()
--------Translation.agda(5KB)
--------Dom.agda(1KB)
--------Proto.agda(29KB)
--------Map.agda(6KB)
--------Vars.agda(18KB)
--------Session.agda(13KB)
--------Cut.agda(4KB)
--------Term.agda(12KB)
--------Conversion.agda(18KB)
--------Env.agda(15KB)
--------Split.agda(18KB)
----package.coffee(811B)
----SendRecv()
--------Types.agda(5KB)
--------Server.agda(3KB)
--------Terms.agda(21KB)
--------Session.agda(3KB)
--------Typing.agda(1KB)
--------Channel.agda(48B)
----LICENSE(2KB)
----README.md(974B)
----gup()
--------all.gup(83B)
--------protocols.agda.gup(170B)
--------html.gup(83B)
----.gitignore(60B)
----Control()
--------Protocol()
--------Protocol.agda(439B)
----agda-pkg.conf(88B)
----package.json(2KB)