Nuprl Definition : csm-ap-term

(t)s ==  λI,a. (t (s)a)



Wellformedness Lemmas :  csm-ap-term_wf
Definitions occuring in Statement :  csm-ap: (s)x apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] apply: a csm-ap: (s)x
FDL editor aliases :  csm-ap-term csm-ap-term

Latex:
(t)s  ==    \mlambda{}I,a.  (t  I  (s)a)



Date html generated: 2016_06_16-PM-05_40_22
Last ObjectModification: 2015_09_23-AM-09_30_22

Theory : cubical!sets


Home Index