Back to Results
First PageMeta Content
Applied mathematics / Computability theory / Combinatory logic / Calculus / De Bruijn index / Simply typed lambda calculus / Lambda calculus / Theoretical computer science / Mathematics


Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia
Add to Reading List

Document Date: 2012-01-27 11:22:13

Open Document

File Size: 305,58 KB

Share Result on Facebook

Organization

Alonzo Church / /

Person

Stephen Kleene / Barkley Rosser / Nova de Lisboa Faculdade de Ci / /

ProgrammingLanguage

Lambda Calculus / /

Technology

functional programming / /

SocialTag