Unreasonable Effectiveness of Compositional Thinking → examples → meta-reflexivity and levels of abstraction → How other fields compare → Logic / Type theory →
#
>

Related to category theory via Curry–Howard–Lambek

→