Book Review: Basic Simple Type Theory by J. Roger Hindley (Cambridge University Press 1997).

Published in: SIGACT News (1998)

Keyphrases

case study
highly reliable
general theory
artificial intelligence
information systems
theoretical foundation
database
databases
learning algorithm
information technology
theoretical framework
university level