research
∙
09/08/2023
Non-determinism in a linear logic type discipline: A concrete categorical perspective
We consider the linear lambda-calculus extended with the sup type constr...
share
research
∙
05/04/2022
Semimodules and the (syntactically-)linear lambda calculus
In a recent paper, the ℒ^𝒮-calculus has been defined. It is a proof-lang...
research
∙
04/08/2022
A Quick Overview on the Quantum Control Approach to the Lambda Calculus
In this short overview, we start with the basics of quantum computing, e...
research
∙
01/26/2022
Linear lambda-calculus is linear
We prove a linearity theorem for an extension of linear logic with addit...
research
∙
06/11/2021
A note on confluence in typed probabilistic lambda calculi
On the topic of probabilistic rewriting, there are several works studyin...
research
∙
01/08/2021
Polymorphic System I
System I is a simply-typed lambda calculus with pairs, extended with an ...
research
∙
12/16/2020
A New Connective in Natural Deduction, and its Application to Quantum Computing
We investigate an unsuspected connection between non harmonious logical ...
research
∙
12/10/2020
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
In a recent paper, a realizability technique has been used to give a sem...
research
∙
07/07/2020
The Vectorial Lambda Calculus Revisited
We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vec...
research
∙
02/19/2020
Functional Pearl: The Distributive λ-Calculus
We introduce a simple extension of the λ-calculus with pairs—called the ...
research
∙
02/10/2020
Extensional proofs in a propositional logic modulo isomorphisms
System I is a proof language for a fragment of propositional logic where...
research
∙
11/25/2019
Runtime Analysis of Quantum Programs: A Formal Approach
In this extended abstract we provide a first step towards a tool to esti...
research
∙
05/04/2019
A categorical construction for the computational definition of vector spaces
Lambda-S is an extension to first-order lambda calculus unifying two app...
research
∙
04/18/2019
Realizability in the Unitary Sphere
In this paper we present a semantics for a linear algebraic lambda-calcu...
research
∙
07/14/2018
Classically Time-Controlled Quantum Automata
In this paper we introduce classically time-controlled quantum automata ...
research
∙
06/24/2018