INRIA Bordeaux - Sud-Ouest,351, cours de la Liberation Batiment A29 33405 Talence cedex France;
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:通过对简单类型的lambda微积分的完全完整翻译来证明不干扰
机译:带有显式替换的简单型Lambda微积分的健全性和完整性的形式化证明
机译:简单类型的Lambda-Calmulus中的识别性
机译:简单周期性Scherk型最小曲面的变形。
机译:只需处理即可合成的MWW型钛硅酸盐具有酸性H2TiF6和的ERB-P沸石在1-己烯液体环氧化中的催化性能与过氧化氢
机译:通过Lambda-Calculus在简单类型的Lambda-Calculus中居住 用于证明搜索
机译:通过精化lambda-Calculus统一理论类型理论