Machine semantics
type: Item
instance of: scholarly article
title: Machine semantics
zbMATH Open document ID: 1157.68045
author: B. E. Eshmatov
published in: Theoretical Computer Science
publication date: 2008-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q01
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 5382280
zbMATH Keywords: geometry of interaction
zbMATH Keywords: domain theory
zbMATH Keywords: category theory
zbMATH Keywords: bounded Turing machines
zbMATH Keywords: enriched semigroups
zbMATH Keywords: physical computing
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.07.015
OpenAlex ID: W2914322538
cites work: Retracing some paths in process algebra
cites work: Q4843177
cites work: New foundations for the geometry of interaction
cites work: Geometry of Interaction and linear combinatory algebras
cites work: Q4222034
cites work: The clock of a quantum computer
cites work: Quantum Complexity Theory
cites work: Feedback for linearly distributive categories: Traces and fixpoints
cites work: Q4650576
cites work: Q4530231
cites work: Quantum theory, the Church–Turing principle and the universal quantum computer
cites work: Q3791120
cites work: Q4204146
cites work: Q3203017
cites work: Q4228473
cites work: Q3862379
cites work: Unique decomposition categories, Geometry of Interaction and combinatory logic
cites work: A categorical model for the geometry of interaction
cites work: Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
cites work: A categorical framework for finite state machines
cites work: Physical Systems as Constructive Logics
cites work: Atomless Parts of Spaces.
cites work: The point of pointless topology
cites work: Traced monoidal categories
cites work: Q3727946
cites work: Q3735051
cites work: Chain-complete posets and directed sets with applications
cites work: Can a Universal Quantum Computer Be Fully Quantum?
cites work: Q4499084
cites work: Q3959414
cites work: Q3994458
cites work: Q3150942
DOI: 10.1016/J.TCS.2008.07.015
description: scientific article; zbMATH DE number 5382280