Login / Signup

The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus.

Rainer Kerth
Published in: J. Symb. Log. (1998)
Keyphrases
  • lambda calculus
  • artificial intelligence
  • case study
  • complex objects
  • semantic network