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:
2015_07_23-AM-11_06_34
Last ObjectModification:
2012_02_25-PM-03_37_01
Home
Index