O'Reilly logo

Good Math by Mark C. Chu-Carroll

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

What’s It Good For?

Aside from making it possible to build a model, types made it possible to reason about expressions in the λ calculus in amazing ways. Types for λ calculus changed the field of computation forever: not only are they useful for abstract mathematical study, but the typed λ calculus has directly impacted practical computation. Today it is widely used in the design of programming languages, as a tool for describing the meaning of programming languages, and even as a tool for describing the meaning of human languages. Type systems for λ calculi have never stopped developing: people are still finding new things to do by extending the λ type system today!

Most programming languages based on λ calculus are based on a variant of ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required