21 citations · 70 across the 12 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
Perspectives for proof unwinding by programming languages techniques
Danko Ilik
In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of…
math.LO2016★ 2 cited
An Intuitionistic Formula Hierarchy Based on High-School Identities
Taus Brock-Nannestad, Danko Ilik
We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the i…