[latexpage] By Achim Jung , University of Birmingham Appeared in SIGLOG News Volume 1, Number 2, October 2014 1. Introduction In 1969 Dana Scott suggested, , that a Tarskian semantics could be given to programming languages by employing ordered structures of a certain kind, now known as domains. One of his key insights was that… Continue reading »