Login / Signup

A Terminating and Confluent Linear Lambda Calculus.

Yo OhtaMasahito Hasegawa
Published in: RTA (2006)
Keyphrases
  • lambda calculus
  • programming language
  • higher order
  • predicate calculus
  • case study
  • general purpose