11 Lambda Calculus

9.0

11 Lambda Calculus🔗

1	Introduction
2	Functional Programming with OCaml
3	Imperative Programming with OCaml
4	Property-Based Randomized Testing (PBT)
5	Regular Expressions
6	Finite Automata
7	Context Free Grammars
8	Parsing
9	Operational Semantics
10	Type System
11	Lambda Calculus
12	Rust
13	Software Security
14	Exercises