Nuprl Definition : rev-zip
rev-zip(L1;L2) == convolution(a,b,c.[<a, b> / c];[];L1;L2)
Definitions occuring in Statement :
convolution: convolution(a,b,c.f[a; b; c];c0;L1;L2),
cons: [a / b],
nil: [],
pair: <a, b>
Definitions occuring in definition :
convolution: convolution(a,b,c.f[a; b; c];c0;L1;L2),
cons: [a / b],
pair: <a, b>,
nil: []
FDL editor aliases :
rev-zip
Latex:
rev-zip(L1;L2) == convolution(a,b,c.[<a, b> / c];[];L1;L2)
Date html generated:
2016_05_15-PM-03_48_41
Last ObjectModification:
2015_09_23-AM-07_45_02
Theory : general
Home
Index