机译:无反射扩展等式的立体语法
Dependent type theoryextensional equalitycubical type theorycategorical gluingcanonicity;
机译:扩大埃塞俄比亚的可持续发展和两性平等的能源扩大埃塞俄比亚的可持续发展和两性平等的能源
机译:笛卡尔立体计算类型理论:带有路径和等式的建构性推理
机译:防护立方类型理论:防护递归的路径相等
机译:无反射伸展平等的立方语法
机译:具有隐式定界和中缀语法的语言的语法扩展
机译:基于模糊集理论的带有扩展的Arden句法医学知识表示
机译:守卫的立方类型理论:保护递归的路径平等
机译:一个以语法为导向的语言编写器,其语法是以正常形式表达的,并且有一些建议的延伸