Machine Logic

At the junction of computation, logic and mathematics

Tag: Dana Scott

Types versus sets (and what about categories?) (16 Mar 2022)
Undefined values, or what do we get when we divide by zero? (01 Dec 2021)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS