Proto-Quipper-M

From MaRDI portal

Software:1334178

Jump to:navigation, search

swMATH44832MaRDI QIDQ1334178

No author found.

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

Described by source

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

Related Items (1)

Linear Dependent Type Theory for Quantum Programming Languages

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:1334178&oldid=29541649"