A meta lambda calculus with cross-level computation
scientific article; zbMATH DE number 6631314