Technical University Munich University of Illinois at Urbana-Champaign Institute of Mathematics Simion Stoilow of the Romanian Academy;
University of Illinois at Urbana-Champaign;
syntax with bindings; recursion; lambda calculus; substitution;
机译:具有绑定和替换的语法的递归原理
机译:语法-话语界面的新外观:句子处理中绑定原理的使用
机译:语法-话语界面的新外观:句子处理中绑定原理的使用
机译:递归原则,用于绑定和替代的语法
机译:取代六锶锶的第一性原理研究。
机译:递归原理的发现:人类学习计数递归语言的人工语法研究
机译:带有绑定和替换的语法的递归原则
机译:高阶抽象语法的原始递归