Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.

Samin S. Ishtiaq David J. Pym

Published in: CSL (1999)

Keyphrases

lambda calculus
higher order
programming language
database
case study
database systems
complex objects
artificial intelligence