The computational content of isomorphisms
<p>Abstract models of computation, such as Turing machines, λ-calculus and logic gates, allow us to express computation without being concerned about the underlying technology that realizes them in the physical world. These models embrace a classical worldview wherein computation is...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
Indiana University
2013
|
| Subjects: | |
| Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=3587675 |