%0 Report %1 plotkin_81_structural %A Plotkin, G. D. %C University of Aarhus %D 1981 %K 1981 sos %N DAIMI FN-19 %T A Structural Approach to Operational Semantics %U http://citeseer.ist.psu.edu/plotkin81structural.html %X Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be taken as given: Truthvalues This is the set T = ftt; ffg and is ranged over by (the metavariable) t (and we also happily employ for this (and any other) metavariable sub- and super-scripts to...

@techreport{plotkin_81_structural, abstract = {Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be taken as given: Truthvalues This is the set T = ftt; ffg and is ranged over by (the metavariable) t (and we also happily employ for this (and any other) metavariable sub- and super-scripts to...}, added-at = {2009-02-12T11:21:23.000+0100}, address = {University of Aarhus}, author = {Plotkin, G. D.}, biburl = {https://www.bibsonomy.org/bibtex/212718b2f176aaf6ce4c8d8510b355d2f/leonardo}, citeulike-article-id = {1437}, description = {New Version: http://www.citeulike.org/user/leonardo/article/696122}, interhash = {dc29e6898bdbd34bfae6cd829f8a7f86}, intrahash = {12718b2f176aaf6ce4c8d8510b355d2f}, keywords = {1981 sos}, number = {DAIMI FN-19}, posted-at = {2006-04-03 16:06:43}, priority = {2}, timestamp = {2009-02-12T11:21:23.000+0100}, title = {A Structural Approach to Operational Semantics}, url = {http://citeseer.ist.psu.edu/plotkin81structural.html}, year = 1981 }