Pedro H. Azevedo de Amorim

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Expressive Power

Predicate Calculus

Quantifier Elimination

Top Venues

Publications

Pedro H. Azevedo de Amorim
Compositional Expected Cost Analysis of Functional Probabilistic Programs. CoRR (2024)
Pedro H. Azevedo de Amorim, Justin Hsu
Separated and Shared Effects in Higher-Order Languages. CoRR (2023)
Pedro H. Azevedo de Amorim
A Higher-Order Language for Markov Kernels and Linear Operators. FoSSaCS (2023)
Pedro H. Azevedo de Amorim
A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics. CoRR (2022)
Pedro H. Azevedo de Amorim, Christopher Lam
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming. CoRR (2022)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic λ-Calculus. LICS (2021)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CoRR (2020)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic Lambda-Calculus. CoRR (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CSF (2020)