Interleaving Computational and Inferential Thinkinghdsr.mitpress.mit.edu2 points·noelwelsh··0 commentsOpen articleSaveView on HN