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
∙
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
∙
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
∙
06/24/2018