Groupoid Semantics for Thermal Computing
A groupoid semantics is presented for systems with both logical and thermal degrees of freedom. We apply this to a syntactic model for encryption, and obtain an algebraic characterization of the heat produced by the encryption function, as predicted by Landauer's principle. Our model has a line...
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Journal article |
| منشور في: |
2014
|