Author Search Results :: UTM Library Massive Scholar Tracking

1

Non determinism through type isomorphism by Alejandro Díaz-Caro, Gilles Dowek

Published 2013-03-01

Get full text

Article
2

The probability of non-confluent systems by Alejandro Díaz-Caro, Gilles Dowek

Published 2014-03-01

Get full text

Article
3

A System F accounting for scalars by Pablo Arrighi, Alejandro Diaz-Caro

Published 2012-02-01

Get full text

Article
4

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model by Alejandro Díaz-Caro, Octavio Malherbe

Published 2022-09-01

Get full text

Article
5

Confluence via strong normalisation in an algebraic λ-calculus with rewriting by Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff

Published 2012-03-01

Get full text

Article
6

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus by Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Published 2012-07-01

Get full text

Article
7

$Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus$

Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus by Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoî t Valiron

Published 2014-12-01

Get full text

Article
8

Retractions in Intersection Types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi

Published 2017-02-01

Get full text

Article