×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of gholsas
Beginning KDevelop Programming
60 views
Peter Grogono- The Evolution of Programming Languages
101 views
Bernhard Omer- Classical Concepts in Quantum Programming
24 views
Roland Rudiger- Quantum Programming Languages:A Survey
226 views
Pierre-Louis Curien- Introduction to linear logic and ludics, Part II
219 views
Alexis Saurin- Ludics Programming I: Interactive Proof Search
222 views
Philippe de Groote, Bruno Guillaume, Sylvain Salvati- Vector Addition Tree Automata & Multiplicative Exponential Linear Logic
216 views
Paolo Zuliani- Quantum programming with mixed states
216 views
Michele Basaldella and Claudia Faggian- Ludics With Repetitions
224 views
Paolo Zuliani- Compiling quantum programs
223 views
Peter Selinger- Towards a semantics for higher-order quantum computation
212 views
Benoˆıt Valiron- Quantum typing
216 views
Bob Coecke- Quantum information-flow, concretely, abstractly
214 views
Olivier Laurent- A proof of the focalization property of Linear Logic
219 views
Joshua S. Hodas and Dale Miller- Logic Programming in a Fragment of Intuitionistic Linear Logic
221 views
Thorsten Altenkirch and Jonathan Grattage- QML: Quantum data and control
237 views
Anya Tafliovich and E.C.R. Hehner- Quantum Predicative Programming
217 views
Hynek Mlnarık- Quantum Programming Language LanQ
227 views
Peter Selinger- Semantics of a Quantum Programming Language
223 views
Peter Selinger- Towards a Quantum Programming Language
223 views
Next >