Abstract
Chalmers model of implementation has as a consequence that two deterministic programs will always take the same actions in the same order on the same input. However, there are methods of programming that do not make this assumption, some of which are quite powerful. I sketch an alternative view of implementation, inspired by functional programming and Church's lambda calculus, and compare it with Chalmers. I conclude by suggesting that the Church-inspired paradig
| Original language | English |
|---|---|
| Pages (from-to) | 167-179 |
| Journal | Journal of Cognitive Science |
| Volume | 13 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 2012 |