Sign in

A Lambda Term Representation Inspired by Linear Ordered Logic

Andreas AbelNicolai Kraus
Published in: LFMTP (2011)
Keyphrases
  • multi valued
  • logical representation
  • image representation
  • predicate calculus
  • lambda calculus
  • logic programming
  • closed form
  • linear systems
  • predicate logic
  • logical formulas
  • relation algebra