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