Full abstraction, totality and PCF.

Gordon D. Plotkin

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

high level
classification method
artificial intelligence
information retrieval
decision making
multimedia
low level