3 citations · 3 across the 3 of their papers we have counts for
2 papers
cs.PL2016
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Julien Lange, Nicholas Ng, Bernardo Toninho +1
Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) program…
cs.LO2012★ 3 cited
Constructive Provability Logic
Robert J. Simmons, Bernardo Toninho
We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb's provability logic by permitting logical reflection over prova…