Personal Information
Entreprise/Lieu de travail
Bernal, Buenos Aires Argentina
Profession
Profesor Adjunto & Investigador Asistente
Secteur d’activité
Education
Site Web
diaz-caro.web.unq.edu.ar
Mots-clés
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
Tout plus
Présentations
(16)J’aime
(1)Workshop
gsenno
•
il y a 8 ans
Personal Information
Entreprise/Lieu de travail
Bernal, Buenos Aires Argentina
Profession
Profesor Adjunto & Investigador Asistente
Secteur d’activité
Education
Site Web
diaz-caro.web.unq.edu.ar
Mots-clés
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
Tout plus