Nuprl Definition : ulist
ulist(T) == urec(λA.(Unit ⋃ (T × A)))
Definitions occuring in Statement :
urec: urec(F),
b-union: A ⋃ B,
unit: Unit,
lambda: λx.A[x],
product: x:A × B[x]
Definitions occuring in definition :
urec: urec(F),
lambda: λx.A[x],
b-union: A ⋃ B,
unit: Unit,
product: x:A × B[x]
FDL editor aliases :
ulist
Latex:
ulist(T) == urec(\mlambda{}A.(Unit \mcup{} (T \mtimes{} A)))
Date html generated:
2016_05_15-PM-07_00_07
Last ObjectModification:
2015_09_23-AM-08_08_29
Theory : general
Home
Index