Department of Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;
机译:不定式组合还原系统:合流
机译:不定式组合归约系统:归一化归约策略
机译:不定式组合还原系统
机译:关于不定式组合归约系统的归一化
机译:组合归约和抽象的新程序。
机译:哲学与科学融合的反还原主义:亚瑟·科斯特勒与生物界
机译:不定式组合还原系统:合流
机译:弱正交组合约简系统汇流的简单证明