Proto-Quipper-M

MaRDI QIDQ1334178swMATHFDO

Official website https://arxiv.org/abs/2105.03522

Source code repository https://github.com/andcol/proto-quipper-m

Described by source

• A categorical model for a quantum circuit description language (extended abstract)

This page was built for software: Proto-Quipper-M