View of Distribution of Variables in Lambda-Terms with Restrictions on De Bruijn Indices and De Bruijn Levels

Return to Article Details Distribution of Variables in Lambda-Terms with Restrictions on De Bruijn Indices and De Bruijn Levels Download Download PDF