MMathematical semantics and design of programming languagesMathematical semantics and design of programming languagesde R. D. TennentMateriasProgramming languages (Electronic computers)Ediciones (1)Mathematical semantics and design of programming languages. (1973)inglésMás obras de R. D. TennentFFunctor-category semantics of programming languages and logiFunctor-category semantics of programming languages and logicsALGOL-like languagesCCorrectness of data representations in Algol-like languagesCorrectness of data representations in Algol-like languages
FFunctor-category semantics of programming languages and logiFunctor-category semantics of programming languages and logics
CCorrectness of data representations in Algol-like languagesCorrectness of data representations in Algol-like languages
