<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-08-22 09:54:26American Sign Language Computability theory Association for Symbolic Logic John Myhill Nels David Nelson Anil Nerode Saul Kripke Mereology Logic Mathematical logic Philosophy |
 | 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 functiDocID: Sx8H - View Document |
 | PDF DocumentDocID: 1770 - View Document |
| PDF DocumentDocID: 15xt - View Document |