Full Abstraction and Universality via Realisability.

Michael Marz Alexander Rohr Thomas Streicher

Published in: LICS (1999)

Keyphrases

cellular automata
high level
real world
machine learning
data abstraction
database
real time
three dimensional
association rules