Monoidal reverse differential categories. (English) Zbl 1518.18012
Reviewer: Nicolas Blanco (Paris)
Found 13 Documents (Results 1–13)
Semantics of quantum programming languages: Classical control, quantum control. (English) Zbl 07576520
MSC:
68-XX
Concurrent quantum strategies. (English) Zbl 1480.68009
Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 3-19 (2019).
Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. (English) Zbl 1497.68128
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 889-898 (2018).
Wave-style token machines and quantum lambda calculi. (English) Zbl 1477.68069
Alves, Sandra (ed.) et al., Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 176, 64-78 (2015).
Applicative bisimulation and quantum \(\lambda\)-calculi. (English) Zbl 1434.68081
Dastani, Mehdi (ed.) et al., Fundamentals of software engineering. 6th international conference, FSEN 2015, Tehran, Iran, April 22–24, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9392, 54-68 (2015).
MSC:
68N18
Presheaf models of quantum computation: an outline. (English) Zbl 1264.81119
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 178-194 (2013).
On quantum and probabilistic linear lambda-calculi (extended abstract). (English) Zbl 1347.68146
Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 121-128 (2011).
Game semantics for quantum data. (English) Zbl 1347.68212
Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 41-57 (2011).
Game semantics for quantum stores. (English) Zbl 1286.81044
Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 153-170 (2008).
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (8)
all
top 5
Author
- Valiron, Benoît (3)
- Dal Lago, Ugo (2)
- Delbecque, Yannick (2)
- Asada, Kazuyuki (1)
- Cho, Kenta (1)
- Clairambault, Pierre (1)
- Cruttwell, Geoff (1)
- de Visme, Marc (1)
- Gallagher, Jonathan (1)
- Hasuo, Ichiro (1)
- Hoshino, Naohiko (1)
- Malherbe, Octavio (1)
- Ong, Chih-Hao Luke (1)
- Pacaud Lemay, Jean-Simon (1)
- Panangaden, Prakash (1)
- Pronk, Dorette A. (1)
- Rioli, Alessandro (1)
- Scott, Philip J. (1)
- Selinger, Peter (1)
- Tsukada, Takeshi (1)
- Winskel, Glynn (1)
- Zorzi, Margherita (1)
