Login / Signup

Coherent Banach Spaces: A Continuous Denotational Semantics.

Jean-Yves Girard
Published in: Theor. Comput. Sci. (1999)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • discrete data
  • query language
  • abstract data types
  • database
  • high level