Technical University of Dortmund Department of Computer Science;
University of Warsaw Institute of Informatics;
机译:直接逻辑的命题解释为诽谤组合逻辑的完整性
机译:组合逻辑:纯逻辑,应用逻辑和类型逻辑
机译:组合逻辑框架中类型的处理及其使用图变换系统的计算
机译:具有交叉点类型的有限组合逻辑
机译:子结构逻辑,组合逻辑和lambda演算。
机译:组合逻辑中的功能
机译:在交叉类型的有界组合逻辑中使用居住区进行合成
机译:组合代数中的有限型结构