Caricamenti
Peter Selinger - Semantics of A Quantum Programming Language Il 0% ha trovato utile questo documentoAlain Lecomte - Ludique: Une Logique Sans Axiome D'identite ? Il 0% ha trovato utile questo documentoPeter Selinger - Towards A Quantum Programming Language Il 0% ha trovato utile questo documentoS. Bettelli, T. Calarco and L. Serafini - Toward An Architecture For Quantum Programming Il 0% ha trovato utile questo documentoHynek Mlnarık - Quantum Programming Language LanQ Il 0% ha trovato utile questo documentoStefano Guerrini - Theoretical and Practical Issues of Optimal Implementations of Functional Languages Il 0% ha trovato utile questo documentoThorsten Altenkirch and Jonathan Grattage - QML: Quantum Data and Control Il 0% ha trovato utile questo documentoJoshua S. Hodas and Dale Miller - Logic Programming in A Fragment of Intuitionistic Linear Logic Il 0% ha trovato utile questo documentoAnya Tafliovich and E.C.R. Hehner - Quantum Predicative Programming Il 0% ha trovato utile questo documentoOlivier Laurent - A Proof of The Focalization Property of Linear Logic Il 0% ha trovato utile questo documentoAlexis Saurin - Travelling On Design: Ludics Dynamics Il 0% ha trovato utile questo documento