3 ms·
No, it's based on K and S, as is clear from the two rules (t (t) a) b -> a (1) (t (t a) b) c -> (a c) (b c) (2)
by tromp 2y ago
No, it's based on K and S, as is clear from the two rules
(t (t) a) b -> a (1)
(t (t a) b) c -> (a c) (b c) (2)