[TYPES] history of typing contexts

Beta Ziliani beta.ziliani at gmail.com
Tue Mar 17 10:35:37 EDT 2009


The second approach is based on the work of Curry in Combinatory Logic. I
think it's in
Curry [1958]: Combinatory Logic Vol. I (North-Holland, Amstedam)
but I'm not completely sure.

Best,
Beta

On Tue, Mar 17, 2009 at 9:28 AM, Andrew Pitts <Andrew.Pitts at cl.cam.ac.uk>wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
> When formulating a type theory there are (at least) two different
> approaches to how variables are typed:
>
> - variables come tagged with an explicit type
>
> - variables are assigned types in a typing context that forms part of
> the typing judgement
>
> I believe that the first approach can be traced back to Church's
> original 1940 paper on the Simple Theory of Types. Can any one tell me
> about the origins of the second approach?
>
> Andy Pitts
>


More information about the Types-list mailing list