Basic Simple Type Theory, J. Roger Hindley

  • Authors:

  • Hans-Joerg Tiede

  • Affiliations:

  • Departments of Computer Science, Cognitive Science and Linguistics, Lindley Hall, Indiana University, Bloomington, IN 47405, U.S.A. htiede@indiana.edu

  • Venue:
  • Journal of Logic, Language and Information
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract