The parametric lambda calculus. A metamodel for computation.
scientific article; zbMATH DE number 2126498