Oyster-2: Bringing Type Theory into Practice.

Published in: IFIP Congress (1) (1992)

Keyphrases

real world
theoretical framework
theoretical frameworks
theoretical insights
real time
data sets
databases
artificial intelligence
theoretical foundation
formal theory