Nuprl Definition : norep2_stdma
norep2_stdma{i:l}(client;ldr;store1;store2) ==
eo.StandardMessageAutomaton(norep2_main(client;ldr;store1;store2);norep2_headers_no_inputs())
Definitions occuring in Statement :
norep2_headers_no_inputs: norep2_headers_no_inputs(),
norep2_main: norep2_main(client;ldr;store1;store2),
std-ma: StandardMessageAutomaton(X;hdrs),
lambda: x.A[x]
FDL editor aliases :
norep2_stdma
norep2\_stdma\{i:l\}(client;ldr;store1;store2) ==
\mlambda{}eo.StandardMessageAutomaton(norep2\_main(client;ldr;store1;store2);norep2\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-03_37_54
Last ObjectModification:
2012_02_02-PM-01_57_38
Home
Index