 computer science, philosophy of |  Curry’s paradox |  logic: combinatory |  logic: intensional |  logic: intuitionistic |  logic: second-order and higher-order |  properties |  type theory |  type theory: Church’s type theory 