Galois connecting call-by-value and call-by-name.

Dylan McDermott Alan Mycroft

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

formal concept analysis
formal concepts
galois lattices
databases
pattern recognition
database
data sets
artificial intelligence
decision trees
high dimensional
real world
genetic algorithm
feature selection
image segmentation
relational databases
data warehouse