Pedro H. Azevedo de Amorim

14 papers A* 2A 1B 2Journal 9
YearRankTypeTitle / Venue / Authors
2025 B conf
Classical Linear Logic in Perfect Banach Lattices.
CSL
Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen
2025 J jnl
Denotational Foundations for Expected Cost Analysis.
Proc. ACM Program. Lang.
Pedro H. Azevedo de Amorim
2025 J jnl
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version).
CoRR
Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim, Max S. New
2025 A* conf
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
LICS
Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville
2025 J jnl
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
CoRR
Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville
2024 J jnl
Compositional Expected Cost Analysis of Functional Probabilistic Programs.
CoRR
Pedro H. Azevedo de Amorim
2023 B conf
A Higher-Order Language for Markov Kernels and Linear Operators.
FoSSaCS
Pedro H. Azevedo de Amorim
2023 J jnl
Separated and Shared Effects in Higher-Order Languages.
CoRR
Pedro H. Azevedo de Amorim, Justin Hsu
2022 J jnl
A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics.
CoRR
Pedro H. Azevedo de Amorim
2022 J jnl
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming.
CoRR
Pedro H. Azevedo de Amorim, Christopher Lam
2021 A* conf
Universal Semantics for the Stochastic λ-Calculus.
LICS
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
2020 A conf
First-Order Logic for Flow-Limited Authorization.
CSF
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 J jnl
First-Order Logic for Flow-Limited Authorization.
CoRR
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 J jnl
Universal Semantics for the Stochastic Lambda-Calculus.
CoRR
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts