Nuprl Definition : es-implies
P
⇒ Q == λe.((P e)
⇒ (Q e))
Definitions occuring in Statement :
implies: P
⇒ Q
,
apply: f a
,
lambda: λx.A[x]
P {}\mRightarrow{} Q == \mlambda{}e.((P e) {}\mRightarrow{} (Q e))
Date html generated:
2015_07_17-AM-08_49_11
Last ObjectModification:
2013_03_25-PM-01_50_27
Home
Index