Theory of Computation
Abstraction in Fitch's Basic Logic
Combinators, DSLs, HTML and F#
Functional Programming for Computing Clouds
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (SEW 30)
Lambda Calculus
Introduction to dependent type theory by Yves Lafont
Graphic lambda calculus; 1305.5786v2.pdf
Declarative prototyping