scientific article; zbMATH DE number 7439402

zbMath1477.80001arXiv1511.01566MaRDI QIDQ5015183

Dominic Horsman, Samson Abramsky

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1511.01566

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

second law of thermodynamicsprogramming languagethermodynamic processesLandauer's hypothesisMaxwell's DemonNorton-Ladyman controversy

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Classical and relativistic thermodynamics (80A10) Software, source code, etc. for problems pertaining to classical thermodynamics (80-04) Contextuality in quantum theory (81P13)

Related Items (1)

DEMONIC

Cites Work

• Unnamed Item
• Unnamed Item
• Waiting for Landauer
• The (absence of a) relationship between thermodynamic and logical reversibility
• The connection between logical and thermodynamic irreversibility
• The use of the information-theoretic entropy in thermodynamics
• Landauer defended: reply to Norton
• Irreversibility and Heat Generation in the Computing Process
• Landauer's erasure, error correction and entanglement
• An axiomatic basis for computer programming

This page was built for publication: