3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2026
LFPL: Revisited and Mechanized
Nathaniel Glover, Jan Hoffmann
Hofmann (1999) introduced the functional programming language LFPL to characterize the functions computable in polynomial time using an affine type system. LFPL enables a natural p…
math.MG2023★ 3 cited
Stability of polydisc slicing
Nathaniel Glover, Tomasz Tkocz, Katarzyna Wyczesany
We prove a dimension-free stability result for polydisc slicing due to Oleszkiewicz and Pelczyński (2000). Intriguingly, compared to the real case, there is an additional asymptoti…