Login / Signup
A Terminating and Confluent Linear Lambda Calculus.
Yo Ohta
Masahito Hasegawa
Published in:
RTA (2006)
Keyphrases
</>
lambda calculus
programming language
higher order
predicate calculus
case study
general purpose