Proof — Liskov substitution principle
Statement
Data abstraction; type theory. Proved in ZFC.
Source
ACM Turing Award 2008. Data abstraction; type theory. Proved in ZFC.
Domains
computer-science
Data abstraction; type theory. Proved in ZFC.
ACM Turing Award 2008. Data abstraction; type theory. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/liskov-turing-2008/