Work

Semantics of Higher-Order Quantum Computation via Geometry of Interaction

Year: 2011

Type: conference-paper

Source: ACM/IEEE Symposium on Logic in Computer Science (LICS)

DOI: 10.1109/lics.2011.26

Authors: Ichiro Hasuo, Naohiko Hoshino

Institutions: The University of Tokyo, Kyoto University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Japan Society for the Promotion of Science

Award: Foundation of Modular Verification via Stone-Like Dualities and theMicrocosm Principle

OpenAlex ID: W2124146342

FWCI: 2.736

Cites: 59

Cited by: 47

Related to: 10