`Collaborated with:`

G.Barthe M.Gaboardi D.G.0001 L.Birkedal A.Bizjak T.Sato J.Hsu

`Talks about:`

probabilist (2) reason (2) calculus (1) bayesian (1) approxim (1) program (1) converg (1) markov (1) lambda (1) higher (1)

## Person: Alejandro Aguirre 0001

### DBLP: 0001:Alejandro_Aguirre

### Contributed to:

### Wrote 2 papers:

- ESOP-2018-0001BBBG0 #markov #probability #reasoning #relational #λ-calculus
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus (AA0, GB, LB, AB, MG, DG0), pp. 214–241.
- POPL-2019-SatoABGGH #approximate #convergence #higher-order #optimisation #probability #reasoning #source code #verification
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization (TS, AA0, GB, MG, DG0, JH), p. 30.