On quantum lambda calculi: a foundational perspective
M Zorzi - Mathematical Structures in Computer Science, 2016 - cambridge.org
In this paper, we propose an approach to quantum λ-calculi. The 'quantum data-classical
control'paradigm is considered. Starting from a measurement-free untyped quantum λ …
control'paradigm is considered. Starting from a measurement-free untyped quantum λ …
QPCF: Higher-order languages and quantum circuits
Abstract qPCF is a paradigmatic quantum programming language that extends PCF with
quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data …
quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data …
: A Language for Quantum Circuit Computations
We propose qPCF, a functional language able to define and manipulate quantum circuits in
an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” …
an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” …
Quantum state transformations and branching distributed temporal logic
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …
properties of a distributed system from the local point of view of the system's agents, which …
[HTML][HTML] A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …
properties of a distributed system from the local point of view of the system's agents, which …
Towards a logical framework for diagnostic reasoning
Diagnosis is widely used in many different disciplines to identify the nature and cause of a
certain phenomenon. We present t L t L, a new logical framework able to formalise …
certain phenomenon. We present t L t L, a new logical framework able to formalise …
Quantum programming made easy
We present IQu, namely a quantum programming language that extends Reynold's
Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative …
Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative …
It could rain: weather forecasting as a reasoning process
M Cristani, F Domenichini, F Olivieri… - Procedia Computer …, 2018 - Elsevier
Meteorological forecasting is the process of providing reliable prediction about the future
weathear within a given interval of time. Forecasters adopt a model of reasoning that can be …
weathear within a given interval of time. Forecasters adopt a model of reasoning that can be …
Natural deduction calculi for classical and intuitionistic S5
We propose an indexed natural deduction system for the modal logic S5, ideally following
Wansing's previous work in the context of tableaux sequents. The system, given both in the …
Wansing's previous work in the context of tableaux sequents. The system, given both in the …
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents.
Formulas are decorated with a spatial coordinate, which allows a formulation of formal …
Formulas are decorated with a spatial coordinate, which allows a formulation of formal …