Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704021
DOI10.1007/b135690zbMath1114.68031OpenAlexW2501230561MaRDI QIDQ5704021
Benoît Valiron, Peter Selinger
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135690
Quantum computation (81P68) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Applicative Bisimulation and Quantum λ-Calculi ⋮ An Overview of QML With a Concrete Implementation in Haskell ⋮ Confluence in probabilistic rewriting ⋮ Causal and causally separable processes ⋮ An Algebra of Pure Quantum Programming ⋮ Quantum Programs With Classical Output Streams ⋮ A Quantum Game Semantics for the Measurement Calculus ⋮ On a Fully Abstract Model for a Quantum Linear Functional Language
This page was built for publication: Typed Lambda Calculi and Applications
