Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Universite de Grenoble, LIG, and Universite Paris-Nord, Laboratoire LIPN
A Discussion on the Teleportation Protocol for States of N Qubits
A System F accounting for scalars
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
Call-by-value, call-by-name and the vectorial behaviour of algebraic λ-calculus
Confluence via strong normalisation in an algebraic λ-calculus with rewriting
No associations
LandOfFree
Alejandro Díaz-Caro does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Alejandro Díaz-Caro, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Alejandro Díaz-Caro will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-193422