This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.
![Monkey! - Episodes 37-39 [1980] (DVD)](https://avmedia.ams3.cdn.digitaloceanspaces.com/1/05/105f1faa-50cb-41a6-8959-eddbaaac9247.webp)
![Peter Rabbit - The Tale Of The Lost Lady Bird DVD [2020]](https://avmedia.ams3.cdn.digitaloceanspaces.com/e/63/e639e26f-9cf4-4729-852e-0c8566da864e.webp)
