Proof — 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

People

• Alan Kay

Related

• Theorem: Smalltalk and OOP
• Proof: Smalltalk and OOP

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People