Proving termination using dependent types: the case of XOR-terms.

Jean-François Monin Judicaël Courant

Published in: Trends in Functional Programming (2006)

Keyphrases

co occurrence
neural network
data mining
information retrieval
website
three dimensional
evolutionary algorithm
query terms