Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '095akts91lvrh2hfk9igtj77g7' in /var/www/church/includes/database.mysql.inc on line 121
A Denotational Semantics for the Symmetric Interaction Combinators | Gruppo di Logica e Geometria della Cognizione

A Denotational Semantics for the Symmetric Interaction Combinators

2007

Damiano Mazza

Mathematical Structures in Computer Science 17 (3)

Cambridge University Press

Abstract

The symmetric interaction combinators are a variant of Lafont's interaction combinators. They enjoy a weaker universality property with respect to interaction nets, but are equally expressive. They are a model of deterministic distributed computation, sharing the good properties of Turing machines (elementary reductions) and of the lambda-calculus (higher-order functions, parallel execution). We introduce a denotational semantics for this system, inspired by the relational semantics for linear logic, proving an injectivity and full completeness result for it. We also consider the algebraic semantics defined by Lafont, and prove that the two are strongly related.

Download: CombSemantics.pdf

BibTeX


Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '095akts91lvrh2hfk9igtj77g7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/135', '', '216.73.216.58', 1751614005) in /var/www/church/includes/database.mysql.inc on line 121