Alessio Guglielmi

1. A system of interaction and structure
   1999/10/31 by Alessio Guglielmi · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
2. A Logical Basis for Quantum Evolution and Entanglement
   2014/01/01 by Richard Blute, Richard F. Blute, Alessio Guglielmi +3 · 1 citation
   Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications