@AkitaOnRails A ideia veio do livro Semantics with Applications: An Appetizer de Hanne Riis Nielson e Flemming Nielson https://t.co/ZRwaF3hCOD
436 followers
141 followers
Semantics With Application: An Appetizer (2007) : Nielson, Hanne Rils and Nielson, Flemming DOI: https://t.co/rZcU4BWdnf #__important #axiomatic_semantics #denotational_semantics #formal #logic #operational_semantics #semantics #tex #my_bibtex
141 followers
Semantics With Application: An Appetizer (2007) : Nielson, Hanne Rils and Nielson, Flemming DOI: https://t.co/rZcU4BWdnf #__important #axiomatic_semantics #denotational_semantics #formal #logic #operational_semantics #semantics #tex #my_bibtex
1,614 followers
RT @komorin9502: これがさっきの本の最新版(?)っぽいな Acknowledgementで触れられている / https://t.co/r7J8e03gWR