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

Kim B. Bruce Giuseppe 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