Login / Signup

M. H. Newman's Typability Algorithm for Lambda-calculus.

J. Roger Hindley
Published in: J. Log. Comput. (2008)
Keyphrases
  • databases
  • lambda calculus