Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Quantum computing

A. Díaz-Caro and G. Dowek have developed a type system for the λ-calculus that permits to distinguish duplicable terms from non duplicable ones. This work has been presented at Theory and Practice of Natural Computing [13].