Is logical time at all like cost semantics? also this—cost semantics of a programming language are sort of like “number of beta reductions” from lambda calculus.
Is logical time at all like cost semantics? also this—cost semantics of a programming language are sort of like “number of beta reductions” from lambda calculus.