WhoCites
Definitions
mb
event
system
6
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites mu?
mu
Def mu(
f
) == if
f
(0)
0 else mu(
x
.
f
(
x
+1))+1 fi (recursive)
Thm*
f
:(
). (
n
:
.
f
(
n
))
mu(
f
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
mb
event
system
6
Sections
EventSystems
Doc
0 else mu(
x.f(x+1))+1 fi (recursive)
f:(
). (
n:. f(n)) 
mu(f) 
0 else mu(x.f(x+1))+1 fi (recursive)f:(). (n:. f(n)) mu(f) 
