Nuprl Definition : coW-trans

coW-trans(X; Y) ==  λmoves.let a,b = transMoves(X;Y;moves) in let u,x = X a in let x,v = Y b in <u, v>


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x],  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>,  apply: f a,  spread: spread def,  lambda: λx.A[x]
Latex:
coW-trans(X;  Y)  ==
    \mlambda{}moves.let  a,b  =  transMoves(X;Y;moves) 
                  in  let  u,x  =  X  a 
                        in  let  x,v  =  Y  b 
                              in  <u,  v>


Date html generated: 2018_07_25-PM-01_43_57
Last ObjectModification: 2018_06_23-PM-03_07_22

Theory : co-recursion


Home Index