Smalltalk and OOP
Statement
Object-oriented programming; Smalltalk; personal computing. Proved in ZFC.
Source
ACM Turing Award 2003. Object-oriented programming; Smalltalk; personal computing. Proved in ZFC.
Domains
computer-science
Object-oriented programming; Smalltalk; personal computing. Proved in ZFC.
ACM Turing Award 2003. Object-oriented programming; Smalltalk; personal computing. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/kay-turing-2003/