 | 2008 |
|---|
| 6 |       | Howard A. Blair,
David W. Jakel,
Robert J. Irwin,
A. J. Rivera:
Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values.
ISAIM 2008 |
| 5 | | 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 |
|---|
| 4 | | Howard A. Blair,
David W. Jakel,
Robert J. Irwin,
Angel Rivera:
Elementary Differential Calculus on Discrete and Hybrid Structures.
LFCS 2007: 41-53 |
| 2003 |
|---|
| 3 | | Robert J. Irwin:
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.
SIGACT News 34(3): 4-11 (2003) |
| 2 | | Robert J. Irwin:
Review of Coding theory and cryptography: the essentials, second edition, revised and expanded by D.R. Hankerson, et al. Marcel Dekker, 2000.
SIGACT News 34(4): 17-21 (2003) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page