Category theory and programming language semantics: An overview

This publication has 33 references indexed in Scilit:

• Using domain algebras to prove the correctness of a compiler
  Published by Springer Nature ,2005
• Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and Theories
  Theoretical Computer Science, 1984
• Domain algebras
  Published by Springer Nature ,1984
• Sequential algorithms on concrete data structures
  Theoretical Computer Science, 1982
• More on advice on structuring compilers and proving them correct
  Theoretical Computer Science, 1981
• On the algebra of order
  Journal of Computer and System Sciences, 1980
• Partially additive categories and flow-diagram semantics
  Journal of Algebra, 1980
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Diagonal arguments and cartesian closed categories
  Published by Springer Nature ,1969