Nuprl Definition : p-id

p-id() ==  λx.(inl x)


Definitions occuring in Statement :  lambda: λx.A[x],  inl: inl x
Definitions occuring in definition :  lambda: λx.A[x],  inl: inl x
FDL editor aliases :  p-id
Latex:
p-id()  ==    \mlambda{}x.(inl  x)


Date html generated: 2016_05_15-PM-03_29_51
Last ObjectModification: 2015_09_23-AM-07_43_46

Theory : general


Home Index