virus-process(g) == Y (
virus-process,m.<virus-process, g virus-process>)
Definitions :
ycomb: Y,
lambda: x.A[x],
pair: <a, b>,
apply: f a
FDL editor aliases :
virus-process
virus-process(g) == Y (\mlambda{}virus-process,m.<virus-process, g virus-process>)
Date html generated:
2010_08_27-AM-12_26_09
Last ObjectModification:
2010_04_09-PM-06_35_23
Home
Index