Robert J. Irwin

2008
3	EE	Robert J. Irwin: Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons, " Cambridge University Press, 2000. SIGACT News 39(2): 42-44 (2008)
2007
2	EE	Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera: Elementary Differential Calculus on Discrete and Hybrid Structures. LFCS 2007: 41-53
2001
1		Robert J. Irwin, James S. Royer, Bruce M. Kapron: On characterizations of the basic feasible functionals (Part I). J. Funct. Program. 11(1): 117-153 (2001)

Coauthor Index

1	Howard A. Blair	[2]
2	David W. Jakel	[2]
3	Bruce M. Kapron	[1]
4	Angel Rivera	[2]
5	James S. Royer	[1]

Colors in the list of coauthors