1 citations · 1 across the 9 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Y is a least fixed point combinator
Joseph Helfer
The theory of recursive functions is related in a well-known way to the notion of *least fixed points*, by endowing a set of partial functions with an ordering in terms of their do…
math.LO2019★ 1 cited
First-order homotopical logic
Joseph Helfer
We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpre…