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

City

Amsterdam / RAIRO / /

Company

SIAM Journal / North-Holland Co. / McGraw-Hill / Constructivity / /

Currency

USD / /

Facility

University of Edinburgh / /

Organization

Carnegie Mellon University / University of Edinburgh / UC Berkeley / /

Person

Richard M. Friedberg / Dov M. Gabbay / John Myhill / Margherita Zorzia / Hartley Rogers jr. / Gordon D. Plotkin / Huet / Dana S. Scott / John Woods / John C. Shepherdson / Ugo Dal Lagoa / Heyting / Hartley Rogers / Jr. / /

Position

editor / model / Professor / Emeritus / /

ProgrammingLanguage

L / /

PublishedMedium

SIAM Journal on Computing / Theoretical Computer Science / /

Technology

Functional Programming / /

SocialTag