collaborators

1 paper

math.LO2026

Discernment is all you need

David Fuenmayor

We explore the expressive power of HOL, a system of higher-order logic, and its relationship to the simply-typed lambda calculus and Church's simple theory of types, arguing for th…