Tag: functional quantum computing