A relational realizability model for higher-order stateful ADTs.

Lars Birkedal Kristian Støvring Jacob Thamsborg

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

higher order
management system
computational model
high level
data model
high order
databases
probabilistic model
probability distribution
hierarchical structure