John Myhill

#	Item
1	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
2	PDF Document Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2010-02-03 14:40:55 Pumping lemma for regular languages Regular language Constructible universe John Myhill Presentation of a group Anil Nerode Formal languages Mathematics Myhill–Nerode theorem
3	PDF Document Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2008-08-22 09:54:26 American Sign Language Computability theory Association for Symbolic Logic John Myhill Nels David Nelson Anil Nerode Saul Kripke Mereology Logic Mathematical logic Philosophy