A Theory of Objects
E815059
A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| A Theory of Objects canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T9699935 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: A Theory of Objects Context triple: [Luca Cardelli, coAuthorOf, A Theory of Objects]
-
A.
On the Theory of Objective Mind
"On the Theory of Objective Mind" is a philosophical work that explores how shared, externalized structures of thought and culture constitute an objective dimension of mind beyond individual subjectivity.
-
B.
The Architecture of Theories
The Architecture of Theories is an 1891 philosophical essay by Charles Sanders Peirce that outlines his evolutionary, realist, and scientific approach to metaphysics and the structure of scientific theories.
-
C.
The Problem of Realization
The Problem of Realization is a section of Rosa Luxemburg’s Marxist economic work that examines how capitalist production can be converted into money through sales, focusing on the difficulties of realizing surplus value in capitalist markets.
-
D.
The Givenness of Things
The Givenness of Things is a collection of essays by Marilynne Robinson that explores theology, philosophy, and humanism through reflective, intellectually rigorous prose.
-
E.
The Varieties of Reference
The Varieties of Reference is a highly influential work of analytic philosophy in which Gareth Evans develops a detailed theory of reference, perception, and singular thought.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: A Theory of Objects Target entity description: A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
-
A.
On the Theory of Objective Mind
"On the Theory of Objective Mind" is a philosophical work that explores how shared, externalized structures of thought and culture constitute an objective dimension of mind beyond individual subjectivity.
-
B.
The Architecture of Theories
The Architecture of Theories is an 1891 philosophical essay by Charles Sanders Peirce that outlines his evolutionary, realist, and scientific approach to metaphysics and the structure of scientific theories.
-
C.
The Problem of Realization
The Problem of Realization is a section of Rosa Luxemburg’s Marxist economic work that examines how capitalist production can be converted into money through sales, focusing on the difficulties of realizing surplus value in capitalist markets.
-
D.
The Givenness of Things
The Givenness of Things is a collection of essays by Marilynne Robinson that explores theology, philosophy, and humanism through reflective, intellectually rigorous prose.
-
E.
The Varieties of Reference
The Varieties of Reference is a highly influential work of analytic philosophy in which Gareth Evans develops a detailed theory of reference, perception, and singular thought.
- F. None of above. chosen
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
computer science book ⓘ theoretical computer science book ⓘ |
| about |
formal models of objects
ⓘ
inheritance hierarchies ⓘ method invocation ⓘ mutable state in objects ⓘ object identity ⓘ object-oriented languages design ⓘ soundness of type systems ⓘ subtyping relations ⓘ |
| academicDiscipline |
computer science
ⓘ
mathematics ⓘ |
| author |
Luca Cardelli
NERFINISHED
ⓘ
Martín Abadi NERFINISHED ⓘ |
| countryOfPublication |
United States of America
ⓘ
surface form:
United States
|
| describedAs |
foundational work in the theory of objects
ⓘ
rigorous mathematical treatment of object-oriented programming ⓘ |
| field |
object-oriented programming
ⓘ
programming languages ⓘ theoretical computer science ⓘ type systems ⓘ |
| genre |
academic literature
ⓘ
technical monograph ⓘ |
| influencedBy |
lambda calculus
ⓘ
programming language semantics ⓘ type theory ⓘ |
| languageOfWorkOrName | English ⓘ |
| mainSubject |
denotational semantics
ⓘ
encapsulation ⓘ inheritance in type systems ⓘ object calculus ⓘ object-oriented type systems ⓘ operational semantics ⓘ polymorphism ⓘ semantics of object-oriented programming ⓘ subtyping ⓘ |
| publisher | Springer NERFINISHED ⓘ |
| series | Monographs in Computer Science NERFINISHED ⓘ |
| targetAudience |
graduate students in computer science
ⓘ
researchers in programming languages ⓘ theoretical computer scientists ⓘ |
| theoreticalFramework |
object calculus
ⓘ
typed lambda calculus ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: A Theory of Objects Description of subject: A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.