church40

Alonzo Church. A Formulation of the Simple Theory of Types. J. Symb. Log, 5(2):56-68, 1940.

Keyword

[ Typetheory ]

Contact

Alonzo Church

BibTex Reference

@article{church40,
   Author = {Church, Alonzo},
   Title = {A Formulation of the Simple Theory of Types},
   Journal = {J. Symb. Log},
   Volume = {5},
   Number = {2},
   Pages = {56--68},
   Year = {1940}
}

EndNote Reference [help]

Get EndNote Reference (.ref)