Uploads
S. Bettelli, T. Calarco and L. Serafini - Toward An Architecture For Quantum Programming 0% fanden dieses Dokument nützlichPeter Selinger - Semantics of A Quantum Programming Language 0% fanden dieses Dokument nützlichStefano Guerrini - Theoretical and Practical Issues of Optimal Implementations of Functional Languages 0% fanden dieses Dokument nützlichHynek Mlnarık - Quantum Programming Language LanQ 0% fanden dieses Dokument nützlichAlain Lecomte - Ludique: Une Logique Sans Axiome D'identite ? 0% fanden dieses Dokument nützlichPeter Selinger - Towards A Quantum Programming Language 0% fanden dieses Dokument nützlichAnya Tafliovich and E.C.R. Hehner - Quantum Predicative Programming 0% fanden dieses Dokument nützlichThorsten Altenkirch and Jonathan Grattage - QML: Quantum Data and Control 0% fanden dieses Dokument nützlichOlivier Laurent - A Proof of The Focalization Property of Linear Logic 0% fanden dieses Dokument nützlichAlexis Saurin - Travelling On Design: Ludics Dynamics 0% fanden dieses Dokument nützlichJoshua S. Hodas and Dale Miller - Logic Programming in A Fragment of Intuitionistic Linear Logic 0% fanden dieses Dokument nützlich