1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.HO2019
Where are the Natural Numbers in Hilbert's Foundations of Geometry?
Phil Scott, Jacques D Fleuriot
Hilbert's Foundations of Geometry was perhaps one of the most influential works of geometry in the 20th century and its axiomatics was the first systematic attempt to clear up the…
cs.PL2017
Compiling Purely Functional Structured Programs
Phil Scott, Steven Obua, Jacques Fleuriot
We present a marriage of functional and structured imperative programming that embeds in pure lambda calculus. We describe how we implement the core of this language in a monadic D…
cs.LO2017★ 1 cited
Bootstrapping LCF Declarative Proofs
Phil Scott, Steven Obua, Jacques Fleuriot
Suppose we have been sold on the idea that formalised proofs in an LCF system should resemble their written counterparts, and so consist of formulas that only provide signposts for…