Login / Signup

Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure.

Marcelo FiorePhilip Saville
Published in: LICS (2020)
Keyphrases
  • neural network
  • evolutionary algorithm
  • tree structure
  • structural information
  • knowledge base
  • search algorithm
  • evaluation process