Publication View

1 Introduction Three Inadequate Models (2008)

Gordon Plotkin

Abstract

The connection between operational and denotational semantics is of longstanding interest in the study of programming languages. One naturally seeks positive results.

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.7047
Source	http://homepages.inf.ed.ac.uk/gdp/publications/TIM.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.16.5156, 10.1.1.46.9283, 10.1.1.17.863