Q-Calcolo: un lambda calcolo quantistico

Relatore
Margherita Zorzi - Università di Verona

Data e ora
mercoledì 27 giugno 2007 alle ore 17.00 - Verde (Ciclo SEMDIP)

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Andrea Masini

Referente esterno

Data pubblicazione
1 giugno 2007

Dipartimento
 

Riassunto

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.

ornamento
Inizio pagina