Nuprl Definition : Com
Com(P.M[P]) == λP."msg":M[P] |+ "create":P |+ "choose":Id |+ "new":Unit
Definitions occuring in Statement :
Id: Id,
unit: Unit,
lambda: λx.A[x],
token: "$token",
tagged+: T |+ z:B,
tag-case: z:T
FDL editor aliases :
Com
Latex:
Com(P.M[P]) == \mlambda{}P."msg":M[P] |+ "create":P |+ "choose":Id |+ "new":Unit
Date html generated:
2016_05_17-AM-10_22_07
Last ObjectModification:
2012_02_25-PM-03_37_01
Theory : process-model
Home
Index