Login / Signup
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