0:00 / 0:00
#lambdacalculus#simplytypedlambdacalculus#typetheory
MSP 101: Simply Typed Lambda Calculus
MSP — Strathclyde
440 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
Intermediate. Assumes working knowledge.
533 views1 week ago1 recommendation
Programming languagesComputer scienceFunctional programmingComputation and complexity
A lecture introducing the syntax, typing rules, and properties of the simply typed lambda calculus.
The uploader added no description.