Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

paolini2019eptcs (In proceedings)
Author(s) Luca Paolini, Luca Roversi and Margherita Zorzi
Title« Quantum Programming Made Easy »
InProceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity-TLLA 2018), Oxford, UK, 7-8 July 2018
SeriesElectronic Proceedings in Theoretical Computer Science
Editor(s) Thomas Ehrhard, Maribel Fernández, Valeria de Paiva and Lorenzo Tortora De Falco
Volume292
Page(s)133-147
Year2019
PublisherOpen Publishing Association
URLhttp://eptcs.web.cse.unsw.edu.au/paper.cgi?LinearityTLLA2018:8

BibTeX code

@inproceedings{paolini2019eptcs,
  volume = {292},
  author = {Paolini, Luca and Roversi, Luca and Zorzi, Margherita},
  series = {Electronic Proceedings in Theoretical Computer Science },
  booktitle = {Proceedings Joint International Workshop on Linearity \& Trends
               in Linear Logic and Applications (Linearity-TLLA 2018), Oxford,
               UK, 7-8 July 2018},
  editor = {Ehrhard, Thomas and Fern\'andez, Maribel and de Paiva, Valeria and
            Tortora de Falco, Lorenzo},
  url = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?LinearityTLLA2018:8},
  title = {Quantum Programming Made Easy},
  publisher = {Open Publishing Association},
  year = 2019,
  pages = {133-147},
}


 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!