Complexity of lambda-term reductions.

Mariangiola Dezani-Ciancaglini Simona Ronchi Della Rocca Lorenza Saitta

Published in: RAIRO Theor. Informatics Appl. (1979)

Keyphrases

computational complexity
databases
information systems
decision making
worst case
text mining
co occurrence
complexity analysis
high computational complexity