Changes related to "Type variable"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
17 April 2014
- (diff | hist) . . Type theory; 20:40 . . (-174) . . Crisperdue (Church's "typed lambda calculus" (actually his simple theory of types) is is used in proof assistants, e.g. HOL family, basically because it is practical.)