Nuprl Definition : system-append
S1 @ S2 == let Cs,G = S1 in let Cs',G' = S2 in <Cs @ Cs', lg-append(G;G')>
Definitions occuring in Statement :
lg-append: lg-append(g1;g2),
append: as @ bs,
spread: spread def,
pair: <a, b>
FDL editor aliases :
system-append
Latex:
S1 @ S2 == let Cs,G = S1 in let Cs',G' = S2 in <Cs @ Cs', lg-append(G;G')>
Date html generated:
2016_05_17-AM-11_03_53
Last ObjectModification:
2012_02_25-PM-03_46_20
Theory : process-model
Home
Index