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:
2019_06_20-PM-00_55_59
Last ObjectModification:
2019_01_02-PM-01_32_35
Theory : co-recursion-2
Home
Index