Lambda calculus; de Bruijn indices; Lambda term compression; Combinatorics of lambda terms; Ranking and unranking of lambda terms; Bijective Goedel numberings of lambda terms;
机译:在Bruijn指数和Bruijn级别的限制下的Lambda条款中的分布
机译:枚举Lambda术语由他们的De Bruijn表示的加权长度
机译:具有De Bruijn表示的规定大小的Lambda项的数量
机译:用压缩的de bruijn指数排名/ unlantning alampda条款
机译:基于专家系统的基于数值排名和可持续性指标的汽车白车身结构面板材料选择方法。
机译:用于全基因组分析的压缩de Bruijn图的表示形式可以进行搜索
机译:按De Bruijn的加权长度列举Lambda术语 表示
机译:具有de Bruijn指数的精细lambda-Calculus的语义