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

Related to category theory via Curry–Howard–Lambek

→