@openstem shared this note
Software · L5 · Type Theory and the λ-Calculus
Untyped and simply-typed λ-calculus, β-reduction, and the Curry–Howard correspondence.
Software
Updated 0
0
Read only
More in Software
Browse Software- Software · L2 · Git & Dev Workflow: Resolving a Merge Conflictnote
- Software · L2 · MongoDB: Replica Sets & Failovernote
- Software · L5 · Compiler Construction Theorynote
- Software · L1 · Operating Systems: The Process Lifecyclenote
- Software · L2 · PostgreSQL: Replication & High Availabilitynote
- Software · L4 · Applied Cryptography for Engineersnote