Registered user since Mon 19 Nov 2018
Name:Margherita Zorzi
Country:Italy
Affiliation:University of Verona
Personal website: http://profs.sci.univr.it/~zorzim/
Research interests:Mathematical Logic, Quantum Computing, Lambda Calculus, Deductive systems
Contributions
PLDI 2021-profile
View general profile
View general profile