Back to Results
First PageMeta Content
Quantification / Higher-order functions / Predicate logic / Monad / Fold / Function / FO / Continuous function / Combinatory logic / Mathematics / Mathematical logic / Logic


What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common C ORRECTED 12 AUG 2010
Add to Reading List

Document Date: 2010-08-12 10:34:41

Open Document

File Size: 220,30 KB

Share Result on Facebook

City

Baltimore / /

Country

United States / /

Currency

USD / /

/

Facility

UK m.escardo@cs.bham.ac.uk Queen Mary University of London / Mart´ın Escard´o Paulo Oliva University of Birmingham / /

IndustryTerm

above algorithms / topological technology / binary product / finite products / sample applications / countable cartesian product / given algorithm / search procedure / history-free product / history-dependent product / above algorithm / Arbitrary products / binary products / search problems / infinite products / /

OperatingSystem

Ubuntu / /

Organization

University of London / University of Birmingham / /

Position

Queen / data Player / General / player / interpreter / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

Maryland / /

Technology

functional programming / above algorithms / above algorithm / DNS / given algorithm / operating system / same algorithm / /

SocialTag