2 ms·Are there any dbs based on modern type theory?by empath75 8y agoAre there any dbs based on modern type theory?