Specification Refinement with System F - The Higher-Order Case.

Jo Erskine Hannay

Published in: WADT (1999)

Keyphrases

higher order
natural images
high order
low order
data sets
neural network
search engine
website
pairwise
business processes
background knowledge
formal specification
lambda calculus