Nuprl Definition : run-event-in-transit

run-event-in-transit(r;e) ==  let t,x = e in let info,Cs,G = r t in G


Definitions occuring in Statement :  spreadn: spread3,  apply: f a,  spread: spread def
FDL editor aliases :  run-event-in-transit
Latex:
run-event-in-transit(r;e)  ==    let  t,x  =  e  in  let  info,Cs,G  =  r  t  in  G


Date html generated: 2016_05_17-AM-10_42_40
Last ObjectModification: 2012_02_25-PM-03_41_16

Theory : process-model


Home Index