| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Derivation and Computation: Taking the Curry-Howard Correspondence Seriously | 978-O-521-77173-3 (O-521-77173-O) | 2000 |
Alan H. Simmons · Allan H. Simmons · Colin H. Simmons · Courtney H Simmons · Dale H. Simmons · Dr. Helen Simmons · Edwin H. Simmons · Edwin Howard Simmons · G. H. Simmons · H. E. Simmons · H.L. Simmons · H. Leslie Simmons · H.S. · H.Simmons- McDonald · Harald E. Simmons · Hardin-Simmons University · Harold E. Simmons · Harold H Simmons · Harold Simmons · Harold Simmons Booth · Harold W. Simmons · Harry L.N. Simmons · Harvey G Simmons · Hazel Simmons · Hazel Simmons-McDonald · Helen Simmons · Henry C. Simmons · Herbert Simmons · Herman Georg Simmons · Hillary Simmons · Jack H. Simmons · Jack H. Simmons, David D. Gregory Donald N. Zillman · Joseph H Simmons · Marion H Simmons · Robert H. Simmons · Thomas H. Simmons · William H. Simmons · William H. Simmons PhD