nope · @stacked_automation
133 followers · 7196 posts · Server mastodon.socialA structural approach to operational semantics
(1981) : Plotkin, Gordon GD
url: https://www.alice.virginia.edu/~weimer/2006-655/reading/plotkin81structural.pdf
#dissertation #semantics #operational_semantics #transition_system #my_bibtex
#dissertation #semantics #operational_semantics #transition_system #my_bibtex
Last updated 2 years ago