Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A simple formalization of alpha-equivalence
Kalmer Apinis, Danel Ahman
While teaching untyped -calculus to undergraduate students, we were wondering why -equivalence is not directly inductively defined. In this paper, we demonstrate that this is…
cs.LO2025
Comodule Representations of Second-Order Functionals
Danel Ahman, Andrej Bauer
We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show…