Nuprl Definition : is-list-if-has-value
ListLike == corec(L.partial(Unit ⋃ (Top × L)))
Definitions occuring in Statement :
corec: corec(T.F[T]),
partial: partial(T),
b-union: A ⋃ B,
top: Top,
unit: Unit,
product: x:A × B[x]
Definitions occuring in definition :
corec: corec(T.F[T]),
partial: partial(T),
b-union: A ⋃ B,
unit: Unit,
product: x:A × B[x],
top: Top
FDL editor aliases :
is-list-if-has-value
Latex:
ListLike == corec(L.partial(Unit \mcup{} (Top \mtimes{} L)))
Date html generated:
2016_05_15-PM-10_08_15
Last ObjectModification:
2015_09_23-AM-08_22_21
Theory : eval!all
Home
Index