logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

delete2026-01-01
delete0
PRE
AI
A
Alejandro Díaz-Caro
N
Nicolas A. Monzon *
DOI：10.1007/978-981-95-3585-9_8delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
我们介绍了Lambda-SX，一种支持多种测量基的带类型量子λ演算。通过在类型系统中跟踪相对于任意基的可复制性，Lambda-SX实现了对测量更灵活的控制和组合推理。我们形式化了其语法、类型规则、子类型和操作语义，并建立了其关键元理论性质。这一概念验证表明，对多种基的支持可以一致地集成到量子编程语言的类型规范中。
Keyword:
Quantum lambda-calculus
Type systems
Subtyping
Quantum control
Multiple measurement bases

期刊

P
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF:
0
论文数:
13
被引数:
0

机构

C
centre national de la recherche scientifique (cnrs)
学者数:
24.5W
论文数: 18.2W
被引数: 279
I
Inria
学者数:
3.5K
论文数: 2.5K
被引数: 343
引用论文

引用论文

A concrete model for a typed linear algebraic lambda calculus
errMathematical Structures in Computer Science
IF0
err2024-01-01
err0
PREAI
errDíaz-Caro,Alejandro; Malherbe,Octavio
err分享
err收藏
Towards a Computational Quantum Logic
errLecture Notes in Computer Science
IF0
err2025-01-01
err0
PREAI
errDíaz-Caro,Alejandro
err分享
err收藏
A linear linear lambda-calculus线性线性lambda演算
errMathematical Structures in Computer Science
IF0
err2024-11-01
err0
PREAI
errDíaz-Caro,Alejandro; Dowek,Gilles
err分享
err收藏
The Duality of λ-Abstraction
errProceedings of the ACM on Programming Languages
IF0
err2025-01-07
err0
PREAI
errChoudhury,Vikraman; Gay,Simon J.
err分享
err收藏
QWIRE: a core language for quantum circuitsQWIRE：量子电路的核心语言
errACM SIGPLAN Notices
IF0
err2017-01-01
err0
errOAAI
errJennifer Paykin; Robert Rand; Steve Zdancewic
err分享
err收藏
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
errLogical Methods in Computer Science
IF0
err
err0
PREAI
errAssaf,Ali; Díaz-Caro,Alejandro; Perdrix,Simon; Tasson,Christine; Valiron,Benoî t
err分享
err收藏
A lambda calculus for quantum computation with classical control
errMathematical Structures in Computer Science
IF0
err2006-07-04
err0
errOAAI
errPETER SELINGER; BENOIT VALIRON
err分享
err收藏
Conventions for quantum pseudocode
err
IF0
err1996-06-01
err0
errOAAI
errE. Knill
err分享
err收藏
Two linearities for quantum computing in the lambda calculusλ演算中的量子计算两种线性性
errBiosystems
IF0
err2019-12-01
err0
PREAI
errDíaz-Caro,Alejandro; Dowek,Gilles; Rinaldi,Juan Pablo
err分享
err收藏
Full abstraction for the quantum lambda-calculus
errProceedings of the ACM on Programming Languages
IF0
err2020-01-01
err0
PREAI
errClairambault,Pierre; de Visme,Marc
err分享
err收藏
学者 查看更多内容