A Lambda Term Representation Inspired by Linear Ordered Logic

Andreas Abel Nicolai 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