Login / Signup
Separating Weakening and Contraction in a Linear Lambda Calculus.
John Maraist
Published in:
CATS (1998)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
database
higher order