Neil J. Ross

Available identifiers

zbMath Open ross.neil-jMaRDI QIDQ1115457

List of research outcomes

Publication	Date of Publication	Type
Improved synthesis of Toffoli-Hadamard circuits	2024-01-11	Paper
On the Lambek embedding and the category of product-preserving presheaves	2022-05-12	Paper
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2022-04-27	Paper
Proto-Quipper with dynamic lifting	2022-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q3384926	2021-12-17	Paper
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper	2021-07-05	Paper
Canonical forms for single-qutrit Clifford+\(T\) operators	2019-11-07	Paper
Toward the first quantum simulation with quantum speedup	2019-07-03	Paper
An Introduction to Quantum Programming in Quipper	2013-12-17	Paper
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators	2012-06-22	Paper
Remarks on the Möbius function of a subposet	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Neil J. Ross