Back to Results
First PageMeta Content
Models of computation / Logic in computer science / Lambda calculus / Tree traversal / Combinatory logic / Free variables and bound variables / Computation tree / Theoretical computer science / Mathematics / Applied mathematics


A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract
Add to Reading List

Document Date: 2012-01-14 04:37:24

Open Document

File Size: 309,93 KB

Share Result on Facebook

Company

Oxford University Computing Laboratory / /

Country

Greenland / /

/

Facility

Wolfson Building / /

IndustryTerm

composition algorithm / /

Organization

Oxford University / /

Person

Colin Stirling / /

Position

player / /

ProgrammingLanguage

LATEX / /

Technology

composition algorithm / 3 An algorithm / /

URL

http /

SocialTag