Pedro H. Azevedo de Amorim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | Classical Linear Logic in Perfect Banach Lattices. | Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen |
| 2025 | LICS | Logical relations for call-by-push-value models, via internal fibrations in a 2-category. | Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville |
| 2023 | FOSSACS | A Higher-Order Language for Markov Kernels and Linear Operators. | Pedro H. Azevedo de Amorim |
| 2021 | LICS | Universal Semantics for the Stochastic λ-Calculus. | Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |