Nuprl Definition : virus-process
virus-process(g) == fix((λvirus-process,m. <virus-process, g virus-process>))
Definitions occuring in Statement :
apply: f a,
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
virus-process
virus-process(g) == fix((\mlambda{}virus-process,m. <virus-process, g virus-process>))
Date html generated:
2015_07_17-AM-11_20_29
Last ObjectModification:
2012_07_02-PM-04_10_14
Home
Index