Джон Ринолдс

Джон Ринолдс (маусым 1, 1935) Американдық компьютер ғалымы.

 Академиялық жұмыстары 

 Еңбектері 
 Кітаптары 
 The Craft of Programming, Prentice Hall International, 1981. ISBN 0-13-188862-5
 Theories of Programming Languages, Cambridge University Press, 1998. ISBN 0-521-59414-6
 Басылымдары 

 Арғы оқылымдар 
 Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), "Festschrift for John C. Reynolds's 70th Birthday ". Theoretical Computer Science, 375(1–3):1–350,  1 мамыр 2007. Editorial, pages 1–2. 

 Сыртқы сілттемелер 
 Home page
 Curriculum Vitae (PostScript format)


Program Verification and Semantics: Further Work  (London, 2004)

Санат:Компьютер ғалымдары