P. N. Benton & Philip Wadler (1996):
Linear Logic, Monads and the Lambda Calculus.
In: Logic in Computer Science,
doi:10.1109/LICS.1996.561458.
P.N. Benton (1995):
A mixed linear and non-linear logic: Proofs, terms and models.
In: Computer Science Logic: 8th Workshop, CSL '94,
doi:10.1007/BFb0022251.
Kenta Cho & Abraham Westerbaan (2016):
Von Neumann Algebras form a Model for the Quantum Lambda Calculus.
Available at http://arxiv.org/abs/1603.02133.
Manuscript..
Jeff Egger, Rasmus Ejlers Møgelberg & Alex Simpson (2014):
The enriched effect calculus: syntax and semantics.
J. Log. Comput. 24(3),
pp. 615–654,
doi:10.1093/logcom/exs025.
Andre Kornell, Bert Lindenhovius & Michael Mislove (2020):
Quantum CPOs.
Preprint..
Paul Blain Levy (2004):
Call-By-Push-Value: A Functional/Imperative Synthesis.
Semantics Structures in Computation 2.
Springer.
Bert Lindenhovius, Michael Mislove & Vladimir Zamdzhiev (2018):
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
In: LICS 2018.
ACM,
doi:10.1145/3209108.3209196.
Bert Lindenhovius, Michael Mislove & Vladimir Zamdzhiev (2020):
Semantics for a Lambda Calculus for String Diagrams.
Preprint.
Bert Lindenhovius, Michael W. Mislove & Vladimir Zamdzhiev (2019):
Mixed linear and non-linear recursive types.
Proc. ACM Program. Lang. 3(ICFP),
pp. 111:1–111:29,
doi:10.1145/3341715.
Bert Lindenhovius, Michael W. Mislove & Vladimir Zamdzhiev (2020):
LNL-FPC: The Linear/Non-linear Fixpoint Calculus.
Available at http://arxiv.org/abs/1906.09503.
Preprint.
Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva & Eike Ritter (2005):
Relating Categorical Semantics for Intuitionistic Linear Logic.
Applied Categorical Structures 13(1),
doi:10.1007/s10485-004-3134-z.
Eugenio Moggi (1991):
Notions of Computation and Monads.
Inf. Comput. 93(1),
pp. 55–92,
doi:10.1016/0890-5401(91)90052-4.
Michele Pagani, Peter Selinger & Benoît Valiron (2014):
Applying quantitative semantics to higher-order quantum computing.
In: POPL,
doi:10.1145/2535838.2535879.
Romain Péchoux, Simon Perdrix, Mathys Rennela & Vladimir Zamdzhiev (2020):
Quantum Programming with Inductive Datatypes.
Preprint.
Romain Péchoux, Simon Perdrix, Mathys Rennela & Vladimir Zamdzhiev (2020):
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
In: Foundations of Software Science and Computation Structures 2020,
pp. 562–581,
doi:10.1007/978-3-030-45231-5_29.
Francisco Rios & Peter Selinger (2017):
A categorical model for a quantum circuit description language.
In: QPL 2017,
pp. 164–178,
doi:10.4204/EPTCS.266.11.
Peter Selinger (2004):
Towards a quantum programming language.
Mathematical Structures in Computer Science 14(4),
pp. 527–586,
doi:10.1017/S0960129504004256.
Peter Selinger & Benoît Valiron (2008):
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).
In: FOSSACS 2008,
doi:10.1007/978-3-540-78499-9_7.
Peter Selinger & Benoît Valiron (2009):
Quantum Lambda Calculus,
doi:10.1017/CBO9781139193313.005.
Semantic Techniques in Quantum Computation.
William Wootters & Wojciech Zurek (1982):
A single quantum cannot be cloned.
Nature 299(5886),
doi:10.1038/299802a0.