Back to Results
First PageMeta Content
Programming language semantics / Models of computation / Denotational semantics / Metalanguage / Programming language / Number / Dana Scott / Arithmetic / 0 / Mathematics / Elementary arithmetic / Logic in computer science


(! 1 J TOWARD A MATHEMATICAL
Add to Reading List

Document Date: 2011-08-17 01:57:53

Open Document

File Size: 1,14 MB

Share Result on Facebook

Company

University Computing Laboratory / Oxford University Computing Laboratory Programming Research Group / Programming Research Group / Oxford University Computing Laboratory / Dana / Strachey Oxford University Computing Laboratory Programming Research Group / /

Facility

Princeton University / Oxford University Computing Laboratory / Polytechnic Institute of Brooklyn / Scott Princeton University / /

Organization

Christopher Strachey Department of Philosophy / Princeton University / Polytechnic Institute / Oxford University / /

Position

model for number theory / /

ProgrammingLanguage

J / L / /

ProvinceOrState

New Jersey / /

SocialTag