Login / Signup

The Girard-Reynolds isomorphism.

Philip Wadler
Published in: Inf. Comput. (2003)
Keyphrases
  • numerical solution
  • graph theory
  • graph isomorphism
  • fluid flow
  • graph search
  • navier stokes
  • database
  • genetic algorithm
  • search algorithm
  • object recognition