Robert J. Irwin

According to our database, Robert J. Irwin authored at least 7 papers between 2001 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Differential Calculus on Cayley Graphs.

Daniel R. Patten, Howard A. Blair, David W. Jakel, Robert J. Irwin

CoRR, 2015

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

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values.

Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

2007

Elementary Differential Calculus on Discrete and Hybrid Structures.

Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

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

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

2001

On characterizations of the basic feasible functionals (Part I).

Robert J. Irwin, James S. Royer, Bruce M. Kapron

J. Funct. Program., 2001