A New Proof of P-time Completeness of Linear Lambda Calculus.

Satoshi Matsuoka

Published in: LPAR (short papers) (2015)

Keyphrases

lambda calculus
programming language
predicate calculus
database
program understanding
higher order
data quality
theorem prover
data structure
theorem proving