Personal Information
Organização/Local de trabalho
Bernal, Buenos Aires Argentina
Cargo
Profesor Adjunto & Investigador Asistente
Setor
Education
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
- Documentos
- Infográficos