tag:blogger.com,1999:blog-5888658295182480819.post1104525395342936472..comments2022-04-05T09:43:19.308-03:00Comments on Alaska Ataca a Kamtchatka: Observable sharing and executable proofsMatías Giovanninihttp://www.blogger.com/profile/17772004856076119446noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5888658295182480819.post-88341871197985635752010-05-16T14:03:14.581-03:002010-05-16T14:03:14.581-03:00@id: thank you for the heads-up. I've correcte...@id: thank you for the heads-up. I've corrected the article.Matías Giovanninihttps://www.blogger.com/profile/17772004856076119446noreply@blogger.comtag:blogger.com,1999:blog-5888658295182480819.post-15380648456000393232010-05-16T04:01:09.201-03:002010-05-16T04:01:09.201-03:00Actually here physical equality is tested, as stru...Actually here physical equality is tested, as structural comparison will not terminate.Anonymousnoreply@blogger.com