morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Trace the history of origin of operational and denotational semantics

Open prathyvsh opened this issue 3 years ago • 1 comments

Plotkin’s account of the origin of Structural Operational Semantics: https://homepages.inf.ed.ac.uk/gdp/publications/Origins_SOS.pdf

Dana Scott’s ACM Turing Award Lecture: https://amturing.acm.org/award_winners/scott_1193622.cfm

prathyvsh avatar Jun 02 '21 11:06 prathyvsh

Wherefore art though … Semantics of Computation? by Furio Honsell: https://hal.inria.fr/hal-01615311/document

There are also some more great papers iirc from Furio which are worth tracking down.

prathyvsh avatar Dec 10 '21 23:12 prathyvsh