A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.

Fairouz Kamareddine Karim Nour Vincent Rahli J. B. Wells

Published in: ICTAC (2008)

Keyphrases

variable selection
formal semantics
neural network
databases
metadata
data model
logic programming
relational structures