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 :  lambda: λx.A[x],  spread: spread def,  apply: f a,  pair: <a, b>
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: 2019_06_20-PM-01_06_56
Last ObjectModification: 2019_01_02-PM-01_34_56

Theory : co-recursion-2


Home Index