計算ってなんだ?
ショートショートやSFではありませんが。
計算のモデルとしては、たぶん4つあります。チューリング・マシン、λ計算、ユニフィケーション(それより “Warren’s Abstract Machine”、あるいはWAMを挙げた方がいいのかな)、それとスタック・マシンです。スタック・マシンは別扱いにする必要があるのかどうかはわかりませんが。
チューリング・マシンはそのあたりのCPUとかとプログラミング言語が相当します。オブジェクト指向とかは書き方の問題なので、ここでは本質的な問題にはなりません。