 We can give but a glimpse of combinatory logic; for more on the subject, consult the entry on  combinatory logic.  Many of the issues discussed here for \(\lambda\)-calculus have analogues in combinatory logic, and vice versa.