A functional quantum programming language (0)

by T Altenkirch, J Grattage
Venue:In Prakash Panangaden, editor, Proceedings of the Twentieth Annual IEEE Symp. on Logic in Computer Science, LICS 2005