Towards a mathematical science of programming (2016) [pdf]pdfs.semanticscholar.org4 points·kuwze··0 commentsOpen articleSaveView on HN