Alejandro Díaz-Caro
16 SlideShares 35 Seguidores 44 Seguindos
Personal Information
Organização/Local de trabalho
Bernal, Buenos Aires Argentina
Cargo
Profesor Adjunto & Investigador Asistente
Setor
Education
Site
diaz-caro.web.unq.edu.ar
Detalhes do contato
Marcadores
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 mais

Apresentações

(16)
Ver tudo

A System F accounting for scalars

Há 14 anos • 419 Visualizações

Equivalence of algebraic λ-calculi

Há 13 anos • 584 Visualizações

Slides QuAND 2011

Há 12 anos • 281 Visualizações

A type system for the vectorial aspects of the linear-algebraic lambda-calculus

Há 12 anos • 381 Visualizações

Linearity in the non-deterministic call-by-value setting

Há 12 anos • 974 Visualizações

Slides used during my thesis defense "Du typage vectoriel"

Há 12 anos • 489 Visualizações

Call-by-value non-determinism in a linear logic type discipline

Há 11 anos • 448 Visualizações

Non determinism through type isomophism

Há 11 anos • 462 Visualizações

Quantum computing, non-determinism, probabilistic systems... and the logic behind

Há 11 anos • 1851 Visualizações

Vectorial types, non-determinism and probabilistic systems: Towards a computational quantum logic

Há 11 anos • 1448 Visualizações

The probability of non-confluent systems

Há 10 anos • 539 Visualizações

Simply typed lambda-calculus modulo isomorphisms

Há 10 anos • 4951 Visualizações

Affine computation and affine automaton

Há 7 anos • 461 Visualizações

Towards a quantum lambda-calculus with quantum control

Há 7 anos • 365 Visualizações

A lambda calculus for density matrices with classical and probabilistic controls

Há 6 anos • 346 Visualizações

Typing quantum superpositions and measurement

Há 6 anos • 371 Visualizações

Gostaram

(1)

Workshop

gsenno • Há 8 anos
Personal Information
Organização/Local de trabalho
Bernal, Buenos Aires Argentina
Cargo
Profesor Adjunto & Investigador Asistente
Setor
Education
Site
diaz-caro.web.unq.edu.ar
Marcadores
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 mais