Pedro H. Azevedo de Amorim

According to our database, Pedro H. Azevedo de Amorim authored at least 15 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Logical relations for call-by-push-value models, via internal fibrations in a 2-category.

Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville

CoRR, May, 2025

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version).

Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim, Max S. New

CoRR, April, 2025

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus.

Steven Schaefer, Nathan Varner, Pedro Henrique Azevedo de Amorim, Max S. New

Proc. ACM Program. Lang., 2025

Denotational Foundations for Expected Cost Analysis.

Pedro H. Azevedo de Amorim

Proc. ACM Program. Lang., 2025

Classical Linear Logic in Perfect Banach Lattices.

Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Compositional Expected Cost Analysis of Functional Probabilistic Programs.

Pedro H. Azevedo de Amorim

CoRR, 2024

2023

Modular Hardware Design with Timeline Types.

Rachit Nigam, Pedro Henrique Azevedo de Amorim, Adrian Sampson

Proc. ACM Program. Lang., 2023

Separated and Shared Effects in Higher-Order Languages.

Pedro H. Azevedo de Amorim, Justin Hsu

CoRR, 2023

A Higher-Order Language for Markov Kernels and Linear Operators.

Pedro H. Azevedo de Amorim

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming.

Pedro H. Azevedo de Amorim, Christopher Lam

CoRR, 2022

A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics.

Pedro H. Azevedo de Amorim

CoRR, 2022

2021

Universal Semantics for the Stochastic λ-Calculus.

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Universal Semantics for the Stochastic Lambda-Calculus.

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts

CoRR, 2020

First-Order Logic for Flow-Limited Authorization.

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2017

A specification for dependent types in Haskell.

Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg

Proc. ACM Program. Lang., 2017