Mark Bickford

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
Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle	2026-03-23	Paper
Efficient Algorithms from Proofs in Constructive Analysis Handbook of Constructive Mathematics	2023-08-11	Paper
Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Computability beyond Church-Turing via choice sequences Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Bar induction. The good, the bad, and the ugly	2021-01-19	Paper
Connectedness of the continuum in intuitionistic mathematics Mathematical Logic Quarterly	2020-05-11	Paper
Bar induction is compatible with constructive type theory Journal of the ACM	2019-11-21	Paper
A verified theorem prover backend supported by a monotonic library EPiC Series in Computing	2019-07-04	Paper
Implementing Euclid's straightedge and compass constructions in type theory Annals of Mathematics and Artificial Intelligence	2019-05-16	Paper
Validating Brouwer's continuity principle for numbers using named exceptions Mathematical Structures in Computer Science	2018-05-17	Paper
Vladimir Voevodsky -- work and destiny European Mathematical Society Newsletter	2018-03-27	Paper
scientific article; zbMATH DE number 6307924 (Why is no real title available?)	2014-06-24	Paper
Intuitionistic completeness of first-order logic Annals of Pure and Applied Logic	2014-01-13	Paper
Formal program optimization in Nuprl using computational equivalence and partial types Interactive Theorem Proving	2013-08-07	Paper
Knowledge-based synthesis of distributed systems using event structures Logical Methods in Computer Science	2011-05-26	Paper
Innovations in computational type theory using Nuprl Journal of Applied Logic	2007-02-20	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1863380 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 177259 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Mark Bickford