Login / Signup

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.

Péter BattyányiKarim Nour
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases
  • fixed point
  • lambda calculus
  • neural network
  • machine learning
  • web pages
  • expert systems
  • relational databases