Linear-time self-interpretation of the pure lambda calculus

DOI10.1023/A:1010058213619zbMath0972.68029MaRDI QIDQ5926074

Torben Ægidius Mogensen

Publication date: 12 March 2001

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

linear-time self-interpretation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

Self-quotation in a typed, intensional lambda-calculus ⋮ Intensional computation with higher-order functions ⋮ Programs as data structures in \(\lambda\)SF-calculus

This page was built for publication: Linear-time self-interpretation of the pure lambda calculus