Russell O'Connor

MaRDI QIDQ987983zbMATH OpenDBLPWikidataFDO

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
Building on the Diamonds between Theories: Theory Presentation Combinators	2018-12-14	Paper
A representation theorem for second-order functionals Journal of Functional Programming	2017-10-23	Paper
A machine-checked proof of the odd order theorem Interactive Theorem Proving	2013-08-07	Paper
Theory presentation combinators Lecture Notes in Computer Science	2012-09-07	Paper
Classical mathematics for a constructive world Mathematical Structures in Computer Science	2011-10-21	Paper
MathScheme: project description Lecture Notes in Computer Science	2011-07-29	Paper
A computer-verified monadic functional implementation of the integral Theoretical Computer Science	2010-08-24	Paper
Computing with classical real numbers	2009-10-22	Paper
Certified Exact Transcendental Real Number Computation in Coq Lecture Notes in Computer Science	2008-12-04	Paper
A monadic, functional implementation of real numbers Mathematical Structures in Computer Science	2007-04-12	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2006-07-06	Paper

Research outcomes over time

This page was built for person: Russell O'Connor