Login / Signup
A theory independent Curry-De Bruijn-Howard correspondence.
Gilles Dowek
Published in:
CoRR (2023)
Keyphrases
</>
information retrieval
theoretical framework
information theory
theoretical basis
neural network
real world
information systems
three dimensional
rough sets
point correspondences
conceptual framework
graph structure