Nuprl Definition : per-computes-to

per-computes-to(Term;a;b) ==  a ~ b


Definitions occuring in Statement :  sqequal: s ~ t
Definitions occuring in definition :  sqequal: s ~ t
FDL editor aliases :  per-computes-to
Latex:
per-computes-to(Term;a;b)  ==    a  \msim{}  b


Date html generated: 2016_05_15-PM-01_49_07
Last ObjectModification: 2015_09_23-AM-07_37_15

Theory : parameterized!rec


Home Index