Characterisation of Strongly Normalising lambda-mu-Terms.

Steffen van Bakel Franco Barbanera Ugo de'Liguoro

Published in: ITRS (2012)

Keyphrases

neural network
machine learning
genetic algorithm
artificial intelligence
feature selection
multiscale
special case
information retrieval systems
development environment