dblp.uni-trier.dewww.uni-trier.de

Robert J. Irwin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EERobert 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
2EEHoward 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)