Title: The Parametric Lambda Calculus A Metamodel For Computation
Subjects: Logic design, Computer science, Artificial intelligence, Calculus