Author

A. Ramos

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

A Theory of a Two-Dimensional Typed Lambda Calculus

We present a typed two-dimensional $\lambda$-calculus whose equality evidence is \emph{computational}: a path between two terms is an explicit finite sequence of one-step conversions (the $\beta$- and $\eta$-contractions, the congruences, and the structural rules), and every property of paths is proved \emph{by recursi...

Daniel O. Martínez-Rivillas, A. F. Ramos, R. D. de Queiroz · 0 citations

Preprint Aug 2026

Optimal Finite Interval Discrepancy via Binary Refinement

DeLeo, Henderschedt, and Wells introduced a finite-horizon version of the classical de Bruijn--Erdos interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals are present, and one minimizes the largest ratio between the longest and shortest in...

A. F. Ramos, David B. Hulak, R. D. de Queiroz · 0 citations