Nuprl Definition : co-w
co-w(A) == corec(T.Unit + (A ⟶ T))
Definitions occuring in Statement :
corec: corec(T.F[T]),
unit: Unit,
function: x:A ⟶ B[x],
union: left + right
Definitions occuring in definition :
corec: corec(T.F[T]),
union: left + right,
unit: Unit,
function: x:A ⟶ B[x]
FDL editor aliases :
co-w
Latex:
co-w(A) == corec(T.Unit + (A {}\mrightarrow{} T))
Date html generated:
2016_05_15-PM-10_05_32
Last ObjectModification:
2015_09_23-AM-08_22_10
Theory : bar!induction
Home
Index