Login / Signup

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics.

Ohad KammarDylan McDermott
Published in: MFPS (2018)
Keyphrases
  • distributed systems
  • databases
  • expert systems
  • logic programming
  • complex systems
  • wavelet transform
  • knowledge based systems
  • logical structure