First steps towards inferential programming William Louis. Scherlis Dana S. Scott 10.1184/R1/6605717.v1 https://kilthub.cmu.edu/articles/journal_contribution/First_steps_towards_inferential_programming/6605717 Computer Science Department 2005-01-01 00:00:00 Programming (Electronic computers)