Interpretations of recursively defined types

DOI10.1016/0304-3975(92)90280-SzbMath0783.68020OpenAlexW2092707571MaRDI QIDQ685350

Michael I. Schwartzbach

Publication date: 17 October 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90280-s

zbMATH Keywords

polymorphismtype systemmultiple inheritanceimperative programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Nuprl

Cites Work

• Fundamental properties of infinite trees
• Infinite trees in normal form and recursive equations having a unique solution
• Unnamed Item
• Unnamed Item
• Unnamed Item