Lambda calculus · Post–Turing machines · Process calculus. Most programming languages (their abstract models, maybe with some particular constructs that assume ...
確定! 回上一頁