Personal Information
Unternehmen/Arbeitsplatz
Bernal, Buenos Aires Argentina
Beruf
Profesor Adjunto & Investigador Asistente
Branche
Education
Webseite
diaz-caro.web.unq.edu.ar
Tags
type theory
algebraic lambda-calculus
quantum computing
lambda calculus
non-deterministic lambda-calculus
logic
non-determinism
linear logic
université de grenoble
vectorial typing
tpnc
programming languages
density matrices
automata theory
affine computation
computer science
probabilistic computing
conference
isomorphisms
kolmogorov axioms
probabilistic systems
lebesgue measure
lambda-calculus
call-by-value
linearity
hor2010
Mehr anzeigen
Präsentationen
(16)Gefällt mir
(1)Workshop
gsenno
•
Vor 8 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Bernal, Buenos Aires Argentina
Beruf
Profesor Adjunto & Investigador Asistente
Branche
Education
Webseite
diaz-caro.web.unq.edu.ar
Tags
type theory
algebraic lambda-calculus
quantum computing
lambda calculus
non-deterministic lambda-calculus
logic
non-determinism
linear logic
université de grenoble
vectorial typing
tpnc
programming languages
density matrices
automata theory
affine computation
computer science
probabilistic computing
conference
isomorphisms
kolmogorov axioms
probabilistic systems
lebesgue measure
lambda-calculus
call-by-value
linearity
hor2010
Mehr anzeigen