Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Models of computation / Computability theory / Metalogic / Denotational semantics / Free variables and bound variables / Operational semantics / Entailment / Theoretical computer science / Logic / Mathematical logic


Document Date: 2004-10-27 05:55:04

Open Document

File Size: 3,90 MB

Share Result on Facebook

Facility

University of Edinburgh / Scotland Hope Park Square / /

IndustryTerm

faster algorithms / /

Organization

University of Edinburgh / Scotland Hope / /

Person

Robin Milner / Ai / /

PublishedMedium

Theoretical Computer Science / /

SocialTag