Follow
Publications: 0 | Followers: 0

Lambda Calc

Publish on Category: All 274

formal system
mathematical logic
Turing machine
Variable
Abstraction
β-reduction
currying
operational definition
Alpha equivalence
Beta reduction
η-conversion
Normal
forms
Pairs
Recursion
fixed poi...

0

Embed

Share

Upload

Make amazing presentation for free
Lambda Calc