Constructive Galois connections: taming the Galois connection framework for mechanized metatheory.

David Darais David Van Horn

Published in: ICFP (2016)

Keyphrases

formal concept analysis
databases
real world
artificial intelligence
framework enables
formal concepts
information systems
case study
high level
artificial neural networks
lightweight
theoretical framework
key features
conceptual framework
computational framework