Nuprl Definition : bar-delay

bar-delay(b) ==  inr b 


Definitions occuring in Statement :  inr: inr x 
Definitions occuring in definition :  inr: inr x 
FDL editor aliases :  bar-delay
Latex:
bar-delay(b)  ==    inr  b 


Date html generated: 2016_05_14-AM-06_20_02
Last ObjectModification: 2015_09_22-PM-05_47_37

Theory : co-recursion


Home Index