Nuprl Definition : approx-type
approx-type(T) == pertype(λ2x y.approx-per(T;x;y))
Definitions occuring in Statement :
approx-per: approx-per(T;x;y),
pertype: pertype(R),
so_lambda: λ2x y.t[x; y]
Definitions occuring in definition :
pertype: pertype(R),
so_lambda: λ2x y.t[x; y],
approx-per: approx-per(T;x;y)
FDL editor aliases :
approx-type
Latex:
approx-type(T) == pertype(\mlambda{}\msubtwo{}x y.approx-per(T;x;y))
Date html generated:
2018_05_21-PM-00_05_14
Last ObjectModification:
2017_12_30-PM-01_41_04
Theory : partial_1
Home
Index