Circular proofs; Non-wellfounded proofs; Fixed points; μ-calculus; Linear logic; Proof-nets; Induction and coinduction;
机译:使用无根据的语法替换变量绑定
机译:sips:使用抽象语法树在并行系统中运行串行算法的框架
机译:零形容词对比度不那么远的椭圆:并行语法的优势
机译:Infinets:非井下校正理论的平行语法
机译:并行合并和自由亲属的语法。
机译:省略号少的形容词对比为零:并行语法的优势
机译:使用无根据的语法替换变量绑定