A syntactic approach to eta equality in type theory.

Healfdene Goguen

Published in: POPL (2005)

Keyphrases

natural language
genetic algorithm
theoretical framework
theoretical basis
real time
data sets
evolutionary algorithm
computational model
databases
neural network
information retrieval
rough sets
higher level
computational models