Proto-Quipper-M

swMATH44832MaRDI QIDQ1334178FDOQ1334178

Author name not available (Why is that?)

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

Described by source

• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)

Cited In (1)

• Linear Dependent Type Theory for Quantum Programming Languages

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