Bryan Ford

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic (available as arXiv preprint)	2026-01-01	Paper
Computable Quantification in Reflective Grounded Arithmetic (available as arXiv preprint)	2026-01-01	Paper
Internalized Truth in Reflective Grounded Arithmetic (available as arXiv preprint)	2026-01-01	Paper
Idealizing Useful Fictions in Omega Grounded Arithmetic (available as arXiv preprint)	2026-01-01	Paper
Inductive Grounded Arithmetic: Goodstein, the Hydra, and Γ_0 (available as arXiv preprint)	2026-01-01	Paper
Reasoning Around Paradox with Grounded Deduction (available as arXiv preprint)	2024-01-01	Paper
Parsing expression grammars: a recognition-based syntactic foundation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-11-11	Paper
Packrat parsing: simple, powerful, lazy, linear time Proceedings of the seventh ACM SIGPLAN international conference on Functional programming	2015-10-07	Paper
On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]	2004-04-27	Paper
On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn] (available as arXiv preprint)	2004-01-01	Paper

Research outcomes over time

This page was built for person: Bryan Ford