Relatore:
Margherita Zorzi
- Università di Verona
mercoledì 27 giugno 2007
alle ore
17.00
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.
