On characterizations of the basic feasible functionals (Part I). - Robert J. Irwin; James S. Royer; Bruce M. Kapron (J. Funct. Program., 2001)

Review of Set theory for computing: from decision procedures to declarative programming with sets by Domenico Cantone, Eugenio Omodeo and Alberto Policriti. Springer-Verlag 2001. - Robert J. Irwin (SIGACT News, 2003)

Review of Coding theory and cryptography: the essentials, second edition, revised and expanded by D.R. Hankerson, et al. Marcel Dekker, 2000. - Robert J. Irwin (SIGACT News, 2003)

Elementary Differential Calculus on Discrete and Hybrid Structures. - Howard A. Blair; David W. Jakel; Robert J. Irwin; Angel J. Rivera (LFCS, 2007)

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values. - Howard A. Blair; David W. Jakel; Robert J. Irwin; Angel J. Rivera (ISAIM, 2008)

Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons, " Cambridge University Press, 2000. - Robert J. Irwin (SIGACT News, 2008)

Differential Calculus on Cayley Graphs. - Daniel R. Patten; Howard A. Blair; David W. Jakel; Robert J. Irwin (CoRR, 2015)