Alejandro Díaz-Caro | DeepAI

AI Chat

Featured Co-authors

Gilles Dowek
45 publications
Beniamino Accattoli
25 publications
Benoît Valiron
14 publications
Marcos Villagra
6 publications
Octavio Malherbe
5 publications
Federico Olmedo
3 publications
Alexandre Miquel
2 publications
Mauricio Guillermo
2 publications
Rafael Romero
2 publications
Francisco Noriega
1 publication
Cristian F. Sottile
1 publication

∙ 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...

0 Alejandro Díaz-Caro, et al. ∙

∙ 05/04/2022

Semimodules and the (syntactically-)linear lambda calculus

In a recent paper, the ℒ^𝒮-calculus has been defined. It is a proof-lang...

0 Alejandro Díaz-Caro, et al. ∙

∙ 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...

0 Alejandro Díaz-Caro, et al. ∙

∙ 01/26/2022

Linear lambda-calculus is linear

We prove a linearity theorem for an extension of linear logic with addit...

0 Alejandro Díaz-Caro, et al. ∙

∙ 06/11/2021

A note on confluence in typed probabilistic lambda calculi

On the topic of probabilistic rewriting, there are several works studyin...

0 Rafael Romero, et al. ∙

∙ 01/08/2021

Polymorphic System I

System I is a simply-typed lambda calculus with pairs, extended with an ...

0 Cristian F. Sottile, et al. ∙

∙ 12/16/2020

A New Connective in Natural Deduction, and its Application to Quantum Computing

We investigate an unsuspected connection between non harmonious logical ...

0 Alejandro Díaz-Caro, et al. ∙

∙ 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...

0 Alejandro Díaz-Caro, et al. ∙

∙ 07/07/2020

The Vectorial Lambda Calculus Revisited

We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vec...

0 Francisco Noriega, et al. ∙

∙ 02/19/2020

Functional Pearl: The Distributive λ-Calculus

We introduce a simple extension of the λ-calculus with pairs—called the ...

0 Beniamino Accattoli, et al. ∙

∙ 02/10/2020

Extensional proofs in a propositional logic modulo isomorphisms

System I is a proof language for a fragment of propositional logic where...

0 Alejandro Díaz-Caro, et al. ∙

∙ 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...

0 Federico Olmedo, et al. ∙

∙ 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...

0 Alejandro Díaz-Caro, et al. ∙

∙ 04/18/2019

Realizability in the Unitary Sphere

In this paper we present a semantics for a linear algebraic lambda-calcu...

0 Alejandro Díaz-Caro, et al. ∙

∙ 07/14/2018

Classically Time-Controlled Quantum Automata

In this paper we introduce classically time-controlled quantum automata ...

0 Alejandro Díaz-Caro, et al. ∙

∙ 06/24/2018

A concrete categorical semantics of Lambda-S

Lambda-S is an extension to first-order lambda calculus unifying two app...

0 Alejandro Díaz-Caro, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world