Nuprl Definition : coW
coW(A;a.B[a]) == pco-W ⋅
Definitions occuring in Statement :
param-co-W: pco-W,
it: ⋅,
apply: f a
Definitions occuring in definition :
apply: f a,
param-co-W: pco-W,
it: ⋅
FDL editor aliases :
coW
Latex:
coW(A;a.B[a]) == pco-W \mcdot{}
Date html generated:
2018_07_25-PM-01_37_05
Last ObjectModification:
2018_05_31-PM-04_20_47
Theory : co-recursion
Home
Index