Login / Signup

The Girard-Reynolds Isomorphism.

Philip Wadler
Published in: TACS (2001)
Keyphrases
  • numerical solution
  • graph isomorphism
  • graph theory
  • fluid flow
  • navier stokes
  • knowledge base
  • video sequences
  • differential equations
  • decision making
  • relational databases
  • mobile robot