Semantic Techniques in Quantum Computation
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9781139193313
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Quantum Lambda Calculus

2014 ◽  
pp. 135-172 ◽  
Author(s):  
Peter Selinger ◽  
Benoît Valiron
Keyword(s):  
Lambda Calculus

Extended Measurement Calculus

2014 ◽  
pp. 235-310 ◽  
Author(s):  
Vincent Danos ◽  
Elham Kashefi ◽  
Prakash Panangaden ◽  
Simon Perdrix

The Structure of Partial Isometries

2014 ◽  
pp. 361-388 ◽  
Author(s):  
Peter Hines ◽  
Samuel L. Braunstein
Keyword(s):  
Partial Isometries

Specification and Verification of Quantum Protocols

2014 ◽  
pp. 414-472 ◽  
Author(s):  
Simon J. Gay ◽  
Rajagopal Nagarajan ◽  
Nikolaos Papanikolaou
Keyword(s):  
Quantum Protocols ◽  
Specification And Verification

The Quantum IO Monad

2014 ◽  
pp. 173-205 ◽  
Author(s):  
Thorsten Altenkirch ◽  
Alexander S. Green

Temporal Logics for Reasoning about Quantum Systems

2014 ◽  
pp. 389-413
Author(s):  
Paulo Mateus ◽  
Jaime Ramos ◽  
Amílcar Sernadas ◽  
Cristina Sernadas
Keyword(s):  
Quantum Systems ◽  
Temporal Logics

Classical and Quantum Structuralism

2014 ◽  
pp. 29-69 ◽  
Author(s):  
Bob Coecke ◽  
Éric Oliver Paquette ◽  
Dusko Pavlovic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document