Nuprl Definition : K-struct

K-struct(K;i) ==  (snd(snd(snd(fst(K))))) i


Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t),  pi1: fst(t)
FDL editor aliases :  K-struct
Latex:
K-struct(K;i)  ==    (snd(snd(snd(fst(K)))))  i


Date html generated: 2019_10_16-AM-11_44_43
Last ObjectModification: 2018_10_13-AM-11_57_29

Theory : minimal-first-order-logic


Home Index