Sign in

On Realisability Semantics for Intersection Types with Expansion Variables.

Fairouz KamareddineKarim NourVincent RahliJ. B. Wells
Published in: Fundam. Informaticae (2012)
Keyphrases
  • logic programming
  • formal semantics
  • databases
  • artificial intelligence
  • logic programs
  • semantic information
  • model theoretic
  • environmental variables