Login / Signup

Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions.

Emmanuel Polonowski
Published in: FoSSaCS (2004)
Keyphrases
  • development environment
  • preprocessing
  • neural network
  • machine learning
  • search algorithm