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 - 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.






© 2002 - 2021  Universit√† degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234