On Multiplicative Linear Logic, Modality and Quantum Circuits

Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.95.6
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Open Publishing Association