Downloads & Free Reading Options - Results

On Multiplicative Linear Logic%2c Modality And Quantum Circuits by Ugo Dal Lago

Read "On Multiplicative Linear Logic%2c Modality And Quantum Circuits" by Ugo Dal Lago through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1On Multiplicative Linear Logic, Modality And Quantum Circuits

By

A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The system QMLL, which enjoys cut-elimination, is obtained by endowing multiplicative linear logic with a quantum modality.

“On Multiplicative Linear Logic, Modality And Quantum Circuits” Metadata:

  • Title: ➤  On Multiplicative Linear Logic, Modality And Quantum Circuits
  • Authors:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 7.03 Mbs, the file-s for this book were downloaded 83 times, the file-s went public at Sun Sep 22 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find On Multiplicative Linear Logic, Modality And Quantum Circuits at online marketplaces:


Top of Page

Buy “On Multiplicative Linear Logic%2c Modality And Quantum Circuits” online:

Shop for “On Multiplicative Linear Logic%2c Modality And Quantum Circuits” on popular online marketplaces.