nope · @stacked_automation
124 followers · 6890 posts · Server mastodon.socialLcf Considered As a Programming Language
(1977) : Plotkin, G. D.
DOI: https://doi.org/10.1016/0304-3975(77)90044-5
#LCF #equivalence #PCF #termination #operational_semantics #denotational_semantics #my_bibtex
#lcf #equivalence #pcf #termination #operational_semantics #denotational_semantics #my_bibtex
Last updated 2 years ago