英文
abstract
简介
类型论的基本概念之一.设A是一个公式，aτ00，aτ11，…，aτkk是不同的自由变元，xτ00，xτ11，…，xτkk是不同的约束变元，且不出现于A中，把A中aτ00，aτ11，…，aτkk的诸出现分别用xτ00，xτ11，…，xτkk替换得A′.那么称{x0，x1，…，xk}A′是一个项，且称此项为A的一个抽象.
抽象
2023-06-05
数学百科
2023-06-05
abstract
类型论的基本概念之一.设A是一个公式，aτ00，aτ11，…，aτkk是不同的自由变元，xτ00，xτ11，…，xτkk是不同的约束变元，且不出现于A中，把A中aτ00，aτ11，…，aτkk的诸出现分别用xτ00，xτ11，…，xτkk替换得A′.那么称{x0，x1，…，xk}A′是一个项，且称此项为A的一个抽象.