Back to Results
First PageMeta Content
Applied mathematics / Iota and Jot / Combinatory logic / Beta normal form / Evaluation strategy / Jot / Binary lambda calculus / Reduction strategy / Lambda / Lambda calculus / Theoretical computer science / Mathematical logic


Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University
Add to Reading List

Document Date: 2013-07-06 00:24:10


Open Document

File Size: 4,31 MB

Share Result on Facebook

City

Rijksuniversiteit Groningen / New York / /

Company

Oxford University Press / New York University Press / /

Country

United States / Estonia / United Kingdom / /

/

Facility

Turing Tarpit Jason Hemann Eric Holk Indiana University / /

Organization

Cambridge University / New York University / Oxford University / Indiana University / /

Person

Randall Munroe / Alan Perlis / Chris Barker / J. Ketema / /

/

Position

author / driver / Evaluator / hn Head / General / /

ProgrammingLanguage

Lambda calculus / Mathematica / Standard ml / JavaScript / /

ProvinceOrState

New York / /

PublishedMedium

Mathematische Annalen / Electronic Notes in Theoretical Computer Science / /

Region

North Holland / /

TVStation

Wand / /

Technology

Functional programming / http / web server / /

URL

http /

SocialTag