Nuprl Definition : pcw-partial

pcw-partial(path;n) ==  <n, path>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  pcw-partial
Latex:
pcw-partial(path;n)  ==    <n,  path>


Date html generated: 2016_05_14-AM-06_12_57
Last ObjectModification: 2015_09_22-PM-05_47_06

Theory : co-recursion


Home Index