Algebraic Semantics of Type Definitions and Structured Variables.

Hans-Dieter Ehrich

Published in: FCT (1977)

Keyphrases

type definitions
logic programming
formal semantics
algebraic structure
structured data
real world
semantic information
variable selection
databases
high level
software engineering
random variables
algebraic structures