Browse by Authors and EditorsNumber of items: 1. Thesis (University of Nottingham only)Green, Alexander S. (2010) Towards a formally verified functional quantum programming language. PhD thesis, University of Nottingham. |
Browse by Authors and EditorsNumber of items: 1. Thesis (University of Nottingham only)Green, Alexander S. (2010) Towards a formally verified functional quantum programming language. PhD thesis, University of Nottingham. |