Back to Results
First PageMeta Content
Boolean algebra / Forcing / Metalogic / Lambda calculus / Boolean-valued model / Constructible universe / FO / Model theory / Combinatory logic / Mathematical logic / Mathematics / Theoretical computer science


Stochastic λ-Calculi Dana S. Scott University Professor, Emeritus Carnegie Mellon University Visiting Scholar in Mathematics
Add to Reading List

Document Date: 2013-08-27 15:54:05

Open Document

File Size: 648,00 KB

Share Result on Facebook

Facility

Mathematics University of California / /

Organization

Calculi Dana S. Scott University / University of California / Berkeley / Carnegie Mellon University / /

Person

Emeritus Carnegie / /

Position

Professor / /

ProvinceOrState

California / /

SocialTag