Q-Calcolo: un lambda calcolo quantistico

Speaker:  Margherita Zorzi - Università di Verona
  Wednesday, June 27, 2007 at 5:00 PM Verde (Ciclo SEMDIP)

In questa presentazione proporremo un lambda-calcolo senza tipi, con dati
quantistici e controllo classico.
Focalizzando la nostra attenzione sul potere espressivo e sulla sintassi,
mostreremo diverse buone proprietà "standard" (riduzione del soggetto e
confluenza), e quantistiche (teorema di standardizzazione).
Daremo inoltre un' idea della dimostrazione dell'equivalenza tra il
Q-calcolo ed il formalismo dei circuiti quantistici.


Place
Ca' Vignal - Piramide, Floor 0, Hall Verde

Programme Director
Andrea Masini

External reference
Publication date
June 1, 2007

Studying

Share