Constructive Data Refinement in Typed Lambda Calculus.

Furio Honsell John Longley Donald Sannella Andrzej Tarlecki

Published in: FoSSaCS (2000)

Keyphrases

data structure
lambda calculus
spatial data
database
expert systems
open source
software development
software systems
expressive power