An Elementary Semantics for Cardelli's System of Multiple Inheritance

M.M. Fokkinga

Research output: Book/ReportReportOther research output


In [Cardelli 84] Luca Cardelli gave a formal definition of a typed object-oriented language incorporating a sub-type relation used to describe multiple inheritance. Cardelli's fundamental result was a semantics for his system that enabled sub-typing to be modelled as straightforward set-inclusion. In this paper an alternative semantics for Cardelli's system is offered in which this result is proved in a more elementary framework.
Original languageUndefined
Place of PublicationEnschede, The Netherlands
PublisherUniversity of Twente, Department of Computer Science
Number of pages0
Publication statusPublished - 1987


  • Inheritance
  • types
  • EWI-8204
  • set-theory
  • Lambda calculus
  • Object-oriented programming

Cite this