3 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
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…