Back to Results
First PageMeta Content
Mathematical logic / Computability theory / Simply typed lambda calculus / Combinatory logic / Unification / Free variables and bound variables / Variable / Mathematics / Theoretical computer science / Lambda calculus


Document Date: 2009-07-21 10:55:57

Open Document

File Size: 454,95 KB

Share Result on Facebook

City

Edinburgh / /

Company

Creative Commons / /

Country

United States / /

Currency

USD / /

/

Facility

University of Edinburgh / /

IndustryTerm

potential solutions / potential solution / /

Organization

Ku Klux Klan / DECIDABILITY OF HIGHER-ORDER MATCHING COLIN STIRLING School of Informatics / University of Edinburgh / Stanford / /

Person

Proponent / Ai / Luke Ong / COLIN STIRLING / /

Position

Player / head / /

ProvinceOrState

California / /

URL

http /

SocialTag