Simply typed lambda calculus - Types - Article Index
Index of articles related to Simply typed lambda calculus - Types
Simply typed lambda calculus - Types
This is the index page for articles related to Simply typed lambda calculus - Types.
The articles are presented in order of relevance for Simply typed lambda calculus - Types.
More material related to Simply Typed Lambda Calculus can be found here:
Encyclopedia
-
Simply Typed Lambda Calculus: Encyclopedia Ii - Simply Typed Lambda Calculus - Types
The types of the simply typed lambda calculus are constructed from base types (or type variables) and given types σ,τ we can construct...
» Read the article
Encyclopedia
-
Simply Typed Lambda Calculus: Encyclopedia Ii - Simply Typed Lambda Calculus - Terms
To define the set of well typed lambda terms of a given type, we introduce typing contexts which are sequences of typing assumptions of ...
» Read the article
