Personal Information
Organización/Lugar de trabajo
Bernal, Buenos Aires Argentina
Ocupación
Profesor Adjunto & Investigador Asistente
Sector
Education
Sitio web
diaz-caro.web.unq.edu.ar
Etiquetas
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
Ver más
Presentaciones
(16)Recomendaciones
(1)Workshop
gsenno
•
Hace 8 años
Personal Information
Organización/Lugar de trabajo
Bernal, Buenos Aires Argentina
Ocupación
Profesor Adjunto & Investigador Asistente
Sector
Education
Sitio web
diaz-caro.web.unq.edu.ar
Etiquetas
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
Ver más