Q-Calcolo: un lambda calcolo quantistico

Supervisor
Margherita Zorzi - Università di Verona
Date and time
Wednesday, June 27, 2007 at 5:00 PM - Verde (Ciclo SEMDIP)
Place
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Andrea Masini
External reference
Publication date
June 1, 2007
Department
 

Summary

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  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234