Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Quantum Computing

The article Two linearities for quantum computing in the lambda calculus, of Alejandro Díaz-Caro, Gilles Dowek, and Juan Pablo Rinaldi, first published in the proceedings of Theory and Practice of Natural Computing 2017, has been published in the journal Biosystems.