Sign in

Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)

Kim B. BruceGiuseppe Longo
Published in: STOC (1985)
Keyphrases
  • preliminary version
  • mathematical model
  • databases
  • statistical models
  • classification models
  • numerical methods
  • database
  • pairwise
  • domain specific
  • model selection
  • complex systems
  • expressive power