Back to Results
First PageMeta Content
Lambda calculus / Theory of computation / Computability theory / Recursion / Combinatory logic / Fixed-point combinator / Recursively enumerable set / Computability / Fixed point / Theoretical computer science / Computer science / Applied mathematics


Document Date: 2005-02-23 19:27:20

Open Document

File Size: 151,69 KB

Share Result on Facebook

Company

IEE Proceedings Software / Princeton University Press / Olin / I. North-Holland Publishing Company / MIT Press / Combinatory Logic / /

Country

Netherlands / Israel / Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Ben Gurion University / /

Organization

University of Aarhus / BRICS Department / Alonzo Church / Department of Computer Science / Ben Gurion University / MIT / Princeton University / Computer Science University of Aarhus Ny Munkegade / /

Person

Mitchell Wand / Alan Turing / Hendrik P. Barendregt / Henning Korsholm Rohde / Patrick Greussay / Peter D. Mosses / Lasse R. Nielsen / Neil Jones / Anders Møller / Hartley Jr. / Michael I. Schwartzbach / Robert Feys / Menachem Kojman / Jørgen Iversen / Richard Statman / Olivier Danvy / Joseph E. Stoy / William Craig / Mads Sig Ager / Van Wyk / Haskell B. Curry / Torben Mogensen / /

/

ProgrammingLanguage

XML / Common LISP / C / /

PublishedMedium

Theoretical Computer Science / /

Technology

functional programming / XML / /

URL

ftp /

SocialTag