Login / Signup

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

Fairouz KamareddineKarim NourVincent RahliJ. B. Wells
Published in: ICTAC (2008)
Keyphrases
  • variable selection
  • formal semantics
  • neural network
  • databases
  • metadata
  • data model
  • logic programming
  • relational structures