Journal article icon

Journal article

Groupoid Semantics for Thermal Computing

Abstract:
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 linear representation theory that reveals an underlying quantum semantics, giving for the first time a functorial classical model for quantum teleportation and other quantum phenomena.

Actions


Authors


Krzysztof Bar More by this author
Jamie Vicary More by this author
Publication date:
2014
URN:
uuid:b57784b6-c9fa-4a91-b56a-0bc4287722f2
Local pid:
cs:8646

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP