@inproceedings{conf/tlca/SelingerV05,
title = {A Lambda Calculus for Quantum Computation with Classical Control.},
author = {Peter Selinger and Benoît Valiron},
booktitle = {TLCA},
crossref = {conf/tlca/2005},
editor = {Pawel Urzyczyn},
pages = {354-368},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2005.html#SelingerV05},
volume = {3461},
year = {2005},
description = {dblp},
date = {2008-02-01}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3461&spage=354}, isbn = {3-540-25593-1},
keywords = {dblp }
}