|
On quantum lambda calculi| old_uid | 9636 |
|---|
| title | On quantum lambda calculi |
|---|
| start_date | 2011/02/07 |
|---|
| schedule | 15h30 |
|---|
| online | no |
|---|
| summary | In this talk we will introduce some theoretical results about quantum lambda calculi. Starting from a measurement-free calculus, called Q, we will show some "standard" properties (such as confluence and subject reduction) and some quantum properties, focusing on the expressive power and on the relationship with other quantum computational models.
Successively, we will consider Q*, an extension of Q with an explicit measurement operator, and we will propose a confluence result for reductions sequences regardless their finiteness.
Finally, we will propose an ICC-like approach for the quantum setting: we will spend some words about a sub-calculus of Q, called SQ, which captures the three classes of the quantum polytime. |
|---|
| responsibles | Poibeau |
|---|
| |
|