scientific article; zbMATH DE number 7454912

MaRDI QIDQ5019687

Vladimir Zamdzhiev

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2005.05433

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Notions of computation and monads
• Relating categorical semantics for intuitionistic linear logic
• Quantum programming with inductive datatypes: causality and affine type theory
• The enriched effect calculus: syntax and semantics
• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
• Towards a quantum programming language
• Enriching a Linear/Non-linear Lambda Calculus
• A single quantum cannot be cloned
• Applying quantitative semantics to higher-order quantum computing
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)

This page was built for publication: