Nuprl Definition : cubical-lam
cubical-lam(X;b) == (λb)
Definitions occuring in Statement :
cubical-lambda: (λb)
Definitions occuring in definition :
cubical-lambda: (λb)
FDL editor aliases :
cubical-lam
Latex:
cubical-lam(X;b) == (\mlambda{}b)
Date html generated:
2016_07_08-PM-06_09_51
Last ObjectModification:
2016_06_27-PM-09_18_40
Theory : cubical!type!theory
Home
Index