Mauricio Guillermo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Alejandro Díaz-Caro
16 publications
Benoît Valiron
14 publications
Alexandre Miquel
2 publications
Emmanuel Beffara
1 publication
Félix Castro
1 publication

research

∙ 12/29/2021

Concurrent Realizability on Conjunctive Structures

The point of this work is to explore axiomatisations of concurrent compu...

0 Emmanuel Beffara, et al. ∙

research

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

Success!

An error occurred