Coherent Banach Spaces: a continuous denotational semantics.

Jean-Yves Girard

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

denotational semantics
programming language
operational semantics
query language
video sequences
discrete data
general purpose
data mining
relational databases