はてなブックマーク

Machine Logic At the junction of computation, logic and mathematics 08 Mar 2023 [ examples inductive definitions ] The simplest way to precisely specify the meanings of programming language expressions is through an operational semantics. Such a definition consists of a set of what look like the inference rules of a logic, stating the conditions under which a given expression can be reduced to a v