From Qualitative to Quantitative Semantics by Change of Base

James Laird

From Qualitative to Quantitative Semantics by Change of Base

James Laird

Research output: Contribution to conference › Paper › peer-review

3 Citations (SciVal)

154 Downloads (Pure)

Original language	English
Publication status	Published - Apr 2017
Event	20th International Conference on Foundations of Software Science and Computation Structures - Uppsala, Sweden Duration: 24 Apr 2017 → 27 Apr 2017 http://www.etaps.org/index.php/2017/fossacs

Conference

Conference	20th International Conference on Foundations of Software Science and Computation Structures
Abbreviated title	FOSSACS 2107
Country/Territory	Sweden
City	Uppsala
Period	24/04/17 → 27/04/17
Internet address	http://www.etaps.org/index.php/2017/fossacs

Access to Document

fos17eAccepted author manuscript, 425 KBLicence: CC BY

Cite this

@conference{c967c25db3294430862c56127ec2ebd9,

title = "From Qualitative to Quantitative Semantics by Change of Base",

author = "James Laird",

year = "2017",

month = apr,

language = "English",

note = "20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2107 ; Conference date: 24-04-2017 Through 27-04-2017",

url = "http://www.etaps.org/index.php/2017/fossacs",

}