|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| paolini18jar (Technical report) | |
| Author(s) | Luca Paolini, Mauro Piccolo and Margherita Zorzi |
| Title | « QPCF: higher order languages and quantum circuits » |
| Institution | Rapporto tecnico delle Univeritá di Torino e Verona |
| Year | 2018 |
| URL | http://lists.seas.upenn./pipermail/types-announce/2016/006371.html |
| Note | Submitted to a Special issue on Linearity, in progress. |
| BibTeX code |
@techreport{paolini18jar,
url = {http://lists.seas.upenn./pipermail/types-announce/2016/006371.html},
title = {{QPCF}: higher order languages and quantum circuits},
author = {Paolini, Luca and Piccolo, Mauro and Zorzi, Margherita},
note = {Submitted to a {Special issue on Linearity}, in progress.},
year = 2018,
institution = {Rapporto tecnico delle Univerit\'a di Torino e Verona},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)