A Calculus of Inheritance | ResearchHub