Journal of Logic, Language and Information

, Volume 8, Issue 4, pp 473-476

First online:

Basic Simple Type Theory, J. Roger Hindley

  • Hans-Joerg TiedeAffiliated withDepartments of Computer Science, Cognitive Science and Linguistics, Indiana University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access