2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2022
Abstraction Logic: A New Foundation for (Computer) Mathematics
Steven Obua
Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both…
cs.SI2016★ 2 cited
Social Network Processes in the Isabelle and Coq Theorem Proving Communities
Jacques Fleuriot, Steven Obua, Phil Scott
We identify the main actors in the Isabelle and Coq communities and describe how they affect and influence their peers. This work explores selected foundations of social networking…
cs.PL2010★ 1 cited
Purely Functional Structured Programming
Steven Obua
The idea of functional programming has played a big role in shaping today's landscape of mainstream programming languages. Another concept that dominates the current programming st…