Back to Results
First PageMeta Content
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


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

Document Date: 2013-05-20 07:44:50


Open Document

File Size: 173,73 KB

Share Result on Facebook
UPDATE