A Metric Model of Lambda Calculus with Guarded Recursion.

Lars Birkedal Jan Schwinghammer Kristian Støvring

Published in: FICS (2010)

Keyphrases

formal model
functional dependencies
lambda calculus
databases
database systems
relational database systems