Relating Semantic Models for the Object Calculus

This publication has 6 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Semantical paradigms: notes for an invited lecture
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Bisimilarity for a first-order calculus of objects with subtyping
  Published by Association for Computing Machinery (ACM) ,1996
• Computational adequacy via ‘mixed’ inductive definitions
  Published by Springer Nature ,1994
• Lambda Calculus kHV its Hovels
  Published by Elsevier ,1984
• LCF considered as a programming language
  Theoretical Computer Science, 1977