Lectures on a Mathematical Theory of Computation

This publication has 6 references indexed in Scilit:

• Lambda Calculus: Some Models, Some Philosophy
  Published by Elsevier ,1980
• A Compendium of Continuous Lattices
  Published by Springer Nature ,1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Logic and programming languages
  Communications of the ACM, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976