Nuprl Definition : usquash
usquash(T) == pertype(λx,y. (↓T))
Definitions occuring in Statement :
pertype: pertype(R),
squash: ↓T,
lambda: λx.A[x]
Definitions occuring in definition :
pertype: pertype(R),
lambda: λx.A[x],
squash: ↓T
FDL editor aliases :
usquash
Latex:
usquash(T) == pertype(\mlambda{}x,y. (\mdownarrow{}T))
Date html generated:
2020_05_19-PM-09_35_54
Last ObjectModification:
2020_05_17-PM-06_57_34
Theory : per!type!1
Home
Index