- Yannick Delbecque:
Game Semantics for Quantum Data. QPL/DCM@ICALP 2008: 41-57 - Alejandro Díaz-Caro
, Pablo Arrighi, Manuel Gadella, Jonathan Grattage:
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. QPL/DCM@ICALP 2008: 59-74 - Jonathan Grattage:
An Overview of QML With a Concrete Implementation in Haskell. QPL/DCM@ICALP 2008: 165-174 - Lorenzo Maccone:
The Thermodynamic Arrow-of-time and Quantum Mechanics. QPL/DCM@ICALP 2008: 75-79 - Keye Martin:
How to Randomly Flip a Quantum Bit. QPL/DCM@ICALP 2008: 81-97 - Simon Perdrix:
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. QPL/DCM@ICALP 2008: 99-111 - Peter Selinger:
Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract). QPL/DCM@ICALP 2008: 113-119 - Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny:
Verification of Quantum Protocols with a Probabilistic Model-Checker. QPL/DCM@ICALP 2008: 175-182 - Benoît Valiron:
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). QPL/DCM@ICALP 2008: 121-128 - Jamie Vicary:
Categorical Formulation of Finite-dimensional C*-algebras. QPL/DCM@ICALP 2008: 129-145 - Juliana Kaizer Vizzotto, André Rauber Du Bois:
Modelling Parallel Quantum Computing Using Transactional Memory. QPL/DCM@ICALP 2008: 183-190 - Larisse Voufo:
Quantum Circuits: From a Network to a One-Way Model. QPL/DCM@ICALP 2008: 191-210 - Vincent Danos, Mariangiola Dezani:
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007. Electronic Notes in Theoretical Computer Science 192(3), Elsevier 2008 [contents] - 2007
- Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Parametric Calculus for Mobile Open Code. DCM@ICALP 2007: 3-22 - Giorgio Bacci, Marino Miculan:
Undecidability of Model Checking in Brane Logic. DCM@ICALP 2007: 23-37 - Anne Crumière, Paul Ruet:
Spatial Differentiation and Positive Circuits in a Discrete Framework. DCM@ICALP 2007: 85-100 - Vincent Danos, Mariangiola Dezani-Ciancaglini:
Preface. DCM@ICALP 2007: 1-2 - Vincent Danos, Ellie D'Hondt:
Classical Knowledge for Quantum Cryptographic Reasoning. DCM@ICALP 2007: 39-58 - Ian Mackie, Shinya Sato:
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. DCM@ICALP 2007: 59-70 - Simon Perdrix:
A Hierarchy of Quantum Semantics. DCM@ICALP 2007: 71-83 - Jean-Pierre Jouannaud, Ian Mackie:
Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006. Electronic Notes in Theoretical Computer Science 171(3), Elsevier 2007 [contents] - 2006
- Marco Carbone, Kohei Honda, Nobuko Yoshida:
A Calculus of Global Interaction based on Session Types. DCM@ICALP 2006: 127-151 - Michel Cosnard, Luigi Liquori, Raphaël Chand:
Virtual Organizations in Arigatoni. DCM@ICALP 2006: 55-75 - Germain Faure:
Term Collections in lambda and rho-calculi. DCM@ICALP 2006: 3-19 - Luca Fossati:
Handshake Games. DCM@ICALP 2006: 21-41 - Mircea-Dan Hernest:
Light Dialectica Program Extraction from a Classical Fibonacci Proof. DCM@ICALP 2006: 43-53 - Jean-Pierre Jouannaud, Ian Mackie:
Preface. DCM@ICALP 2006: 1-2 - Robert K. Meyer:
The Better Bubbling Lemma. DCM@ICALP 2006: 77-84 - Jayshan Raghunandan, Alexander J. Summers:
On the Computational Representation of Classical Logical Connectives. DCM@ICALP 2006: 85-109 - Nikolaos Siafakas:
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. DCM@ICALP 2006: 111-126
