in computer science, combinatory logic is used as a simplified model of computation, used in computability theory and proof theory. despite its simplicity, combinatory logic captures many essential features of computation.