Nuprl Definition : mem_test_stdma
mem_test_stdma{i:l}(A;G) == 
eo.StandardMessageAutomaton(mem_test_main(A;G);mem_test_headers_no_inputs())
Definitions occuring in Statement :
mem_test_headers_no_inputs: mem_test_headers_no_inputs(),
mem_test_main: mem_test_main(A;G),
std-ma: StandardMessageAutomaton(X;hdrs),
lambda: x.A[x]
FDL editor aliases :
mem_test_stdma
mem\_test\_stdma\{i:l\}(A;G) ==
\mlambda{}eo.StandardMessageAutomaton(mem\_test\_main(A;G);mem\_test\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-05_14_44
Last ObjectModification:
2012_02_17-PM-06_26_46
Home
Index