{"version":"1.0","type":"link","title":"Simply typed lambda calculus - Newikis","description":"The simply typed lambda calculus (⁠⁠), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor (⁠⁠) that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}